THE SEMANTICS OF 2ND ORDER POLYMORPHIC LAMBDA-CALCULUS

被引：0

|

作者：

BRUCE, KB ^{[1
]}

MEYER, AR ^{[1
]}

机构：

[1] MIT,COMP SCI LAB,CAMBRIDGE,MA 02139

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 173卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：131 / 144

页数：14

相关论文

共 50 条

[1] A COMPLETENESS THEOREM FOR 2ND ORDER POLYMORPHIC TYPED LAMBDA-CALCULUS
BRUCE, KB
MEYER, AR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1442 - 1442
[2] AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS
MARTINI, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 219 - 237
[3] 2ND-ORDER LAMBDA-CALCULUS
GIRARD, JY
[J]. ASTERISQUE, 1987, (152-53) : 173 - 185
[4] Some aspects of the categorical semantics for the polymorphic lambda-calculus
Maietti, ME
[J]. LOGIC AND ALGEBRA, 1996, 180 : 589 - 601
[5] COMPILING THE POLYMORPHIC LAMBDA-CALCULUS
MICHAYLOV, S
PFENNING, F
[J]. SIGPLAN NOTICES, 1991, 26 (09): : 285 - 296
[6] METACIRCULARITY IN THE POLYMORPHIC LAMBDA-CALCULUS
PFENNING, F
LEE, P
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 137 - 159
[7] Semantics of time and lambda-calculus
不详
[J]. JOURNAL OF INDO-EUROPEAN STUDIES, 1999, 27 (3-4): : 508 - 508
[8] THE SEMANTICS OF 2ND-ORDER LAMBDA CALCULUS
BRUCE, KB
MEYER, AR
MITCHELL, JC
[J]. INFORMATION AND COMPUTATION, 1990, 85 (01) : 76 - 134
[9] Semantics of a Typed Algebraic Lambda-Calculus
Valiron, Benoit
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (26): : 147 - 158
[10] SEMANTICS OF TYPED LAMBDA-CALCULUS WITH CONSTRUCTORS
Petit, Barbara
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)

← 1 2 3 4 5 →