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 条

[21] RULE-BASED SEMANTICS FOR AN EXTENDED LAMBDA-CALCULUS
REVESZ, GE
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 298 : 43 - 56
[22] CATEGORICAL SEMANTICS FOR HIGHER-ORDER POLYMORPHIC-LAMBDA CALCULUS
SEELY, RAG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 969 - 989
[23] Reduction in a linear lambda-calculus with applications to operational semantics
Simpson, A
[J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 219 - 234
[24] CPO-MODELS FOR 2ND-ORDER LAMBDA-CALCULUS WITH RECURSIVE TYPES AND SUBTYPING
POLL, E
HEMERIK, C
TENEIKELDER, HMM
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1993, 27 (03): : 221 - 260
[25] An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
Mazza, Damiano
[J]. 2012 27TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2012, : 471 - 480
[26] Atomic lambda-calculus: a typed lambda-calculus with explicit sharing
Gundersen, Tom
Heijltjes, Willem
Parigot, Michel
[J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 311 - 320
[27] SCOTT SEMANTICS OF LAMBDA-CALCULUS IS INCOMPATIBLE WITH THE EXISTENCE OF A UNIVERSAL RETRACTION
JIANG, Y
[J]. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1992, 314 (10): : 779 - 782
[28] SEMANTICS OF THE TYPED LAMBDA-CALCULUS WITH SUBSTITUTION IN A CARTESIAN CLOSED CATEGORY
GRAY, JW
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1993, 89 (1-2) : 107 - 126
[29] ALGEBRA AND THE LAMBDA-CALCULUS
JAFFER, A
[J]. DR DOBBS JOURNAL, 1993, 18 (09): : 36 - &
[30] The differential lambda-calculus
Ehrhard, T
Regnier, L
[J]. THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 1 - 41

← 1 2 3 4 5 →