Termination of lambda-calculus linearisation methods

被引：0

作者：

Alves, Sandra

机构：

来源：

Electronic Proceedings in Theoretical Computer Science, EPTCS | 2019年 / 292卷

关键词：

D O I：

10.4204/EPTCS.292

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[41] WHAT IS AN EFFICIENT IMPLEMENTATION OF THE LAMBDA-CALCULUS
FRANDSEN, GS
STURTIVANT, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 289 - 312
[42] Storage operators and directed lambda-calculus
David, R
Nour, K
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (04) : 1054 - 1086
[43] PETRI NET MODELS FOR THE LAMBDA-CALCULUS
MEIJER, E
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 266 : 162 - 180
[44] EXTENDING THE LAMBDA-CALCULUS WITH UNBIND AND REBIND
Dezani-Ciancaglini, Mariangiola
Giannini, Paola
Zucca, Elena
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2011, 45 (01): : 143 - 162
[45] RECURSION-THEORY AND THE LAMBDA-CALCULUS
BYERLY, RE
JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (01) : 67 - 83
[46] THE ADDITION OF NONCOMBINATORIAL CORRELATIONS TO THE LAMBDA-CALCULUS
KUZICHEV, AA
VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1984, (06): : 34 - 36
[47] Semantics of a Typed Algebraic Lambda-Calculus
Valiron, Benoit
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (26): : 147 - 158
[48] LAMBDA-CALCULUS - LAZY EVALUATION AND STORAGE
KRIVINE, JL
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (01): : 67 - 84
[49] MINIMAL FORMS IN LAMBDA-CALCULUS COMPUTATIONS
BOHM, C
MICALI, S
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 165 - 171
[50] Full Abstraction for the Quantum Lambda-Calculus
Clairambault, Pierre
de Visme, Marc
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):