Term-Space Semantics of Typed Lambda Calculus
Term-Space Semantics of Typed Lambda Calculus
复制标题
类型化 Lambda 演算的项空间语义
DOI：
10.1215/00294527-2020-0028
复制
发表时间：
2020
影响因子：
0.7
通讯作者：
Yuyama Takao
中科院分区：
文献类型：
--
作者：
Kashima Ryo;Matsuda Naosuke;Yuyama Takao
静态类型推断的语义
影响因子：
1
作者：
G. Plotkin
通讯作者：
G. Plotkin
交叉点类型的强标准化和可打字性
DOI：
10.1305/ndjfl/1040067315
发表时间：
1996
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
S. Ghilezan
通讯作者：
S. Ghilezan
输入 lambda 项的完备性定理
影响因子：
1.1
作者：
R. Hindley
通讯作者：
R. Hindley