Some aspects of the categorical semantics for the polymorphic lambda-calculus

被引：0

|

作者：

Maietti, ME ^{[1
]}

机构：

[1] UNIV PADUA,DIPARTIMENTO MATEMAT PURA & APPLICATA,I-35131 PADUA,ITALY

来源：

LOGIC AND ALGEBRA | 1996年 / 180卷

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：589 / 601

页数：3

相关论文

共 50 条

[1] THE SEMANTICS OF 2ND ORDER POLYMORPHIC LAMBDA-CALCULUS
BRUCE, KB
MEYER, AR
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 173 : 131 - 144
[2] COMPILING THE POLYMORPHIC LAMBDA-CALCULUS
MICHAYLOV, S
PFENNING, F
[J]. SIGPLAN NOTICES, 1991, 26 (09): : 285 - 296
[3] METACIRCULARITY IN THE POLYMORPHIC LAMBDA-CALCULUS
PFENNING, F
LEE, P
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 137 - 159
[4] Semantics of time and lambda-calculus
不详
[J]. JOURNAL OF INDO-EUROPEAN STUDIES, 1999, 27 (3-4): : 508 - 508
[5] Semantics of a Typed Algebraic Lambda-Calculus
Valiron, Benoit
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (26): : 147 - 158
[6] SEMANTICS OF TYPED LAMBDA-CALCULUS WITH CONSTRUCTORS
Petit, Barbara
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
[7] CATEGORICAL SEMANTICS FOR HIGHER-ORDER POLYMORPHIC-LAMBDA CALCULUS
SEELY, RAG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 969 - 989
[8] Rewriting with extensional polymorphic lambda-calculus
DiCosmo, R
Kesner, D
[J]. COMPUTER SCIENCE LOGIC, 1996, 1092 : 215 - 232
[9] A TYPED LAMBDA-CALCULUS WITH CATEGORICAL TYPE CONSTRUCTORS
HAGINO, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 140 - 157
[10] Categorical Models for a Semantically Linear lambda-calculus
Gaboardi, Marco
Piccolo, Mauro
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (22): : 1 - 13

← 1 2 3 4 5 →