DISTRIBUTIVE SEMANTICS FOR NONDETERMINISTIC TYPED LAMBDA-CALCULI

被引：1

|

作者：

ASTESIANO, E

COSTA, G

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1984年 / 32卷 / 1-2期

关键词：

D O I：

10.1016/0304-3975(84)90027-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：121 / 156

页数：36

相关论文

共 50 条

[1] Weighted relational models of typed lambda-calculi
Laird, Jim
Manzonetto, Giulio
McCusker, Guy
Pagani, Michele
[J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 301 - 310
[2] CARTESIAN CLOSED CATEGORIES AND TYPED LAMBDA-CALCULI
LAMBEK, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 242 : 136 - 175
[3] Inhabitation in typed lambda-calculi (a syntactic approach)
Urzyczyn, P
[J]. TYPED LAMBDA CALCULI AND APPLICATIONS, 1997, 1210 : 373 - 389
[4] FULLY ABSTRACT SUBMODELS OF TYPED LAMBDA-CALCULI
MULMULEY, K
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 33 (01) : 2 - 46
[5] ORDER-ENRICHED SKETCHES FOR TYPED LAMBDA-CALCULI
GRAY, JW
[J]. LECTURE NOTES IN MATHEMATICS, 1991, 1488 : 105 - 130
[6] Model-Checking Games for Typed lambda-Calculi
Stirling, Colin
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 589 - 609
[7] Strong Normalizability of Typed Lambda-Calculi for Substructural Logics
Mouri, Motohiko
Kamide, Norihiro
[J]. LOGICA UNIVERSALIS, 2008, 2 (02) : 189 - 207
[8] ON THE DECIDABILITY OF THE EQUALITY THEORY OF SIMPLY TYPED LAMBDA-CALCULI
VALENTINI, S
[J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1995, 9A (01): : 83 - 93
[9] Linear realizability and full completeness for typed lambda-calculi
Abramsky, S
Lenisa, M
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2005, 134 (2-3) : 122 - 168
[10] Weak and strong beta normalisations in typed lambda-calculi
Xi, HW
[J]. TYPED LAMBDA CALCULI AND APPLICATIONS, 1997, 1210 : 390 - 404

← 1 2 3 4 5 →