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 条

[41] A linear linear lambda-calculus
Diaz-Caro, Alejandro
Dowek, Gilles
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,
[42] HIGHLIGHTS OF THE HISTORY OF THE LAMBDA-CALCULUS
ROSSER, JB
[J]. ANNALS OF THE HISTORY OF COMPUTING, 1984, 6 (04): : 337 - 349
[43] A COMPLETENESS THEOREM FOR 2ND ORDER POLYMORPHIC TYPED LAMBDA-CALCULUS
BRUCE, KB
MEYER, AR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1442 - 1442
[44] DEFINITION OF THE SEMANTICS OF PROGRAMMING LANGUAGE CONSTRUCTS IN TERMS OF LAMBDA-CALCULUS .1.
DOMRACHEV, VN
KAPITONOVA, YV
SAMOILENKO, LG
[J]. CYBERNETICS, 1981, 17 (05): : 590 - 595
[45] A lambda-calculus for dynamic binding
Dami, L
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 192 (02) : 201 - 231
[46] Development Separation in Lambda-Calculus
Xi, Hongwei
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 207 - 221
[47] INTERNAL LABELINGS IN LAMBDA-CALCULUS
PARIGOT, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 439 - 445
[48] REDUCTION GRAPHS IN THE LAMBDA-CALCULUS
ZILLI, MV
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 29 (03) : 251 - 275
[49] STANDARDIZATION THEOREM FOR LAMBDA-CALCULUS
MITSCHKE, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (01): : 29 - 31
[50] A linearization of the lambda-calculus and consequences
Kfoury, AJ
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (03) : 411 - 436

← 1 2 3 4 5 →