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 条

[21] HIGHLIGHTS OF THE HISTORY OF THE LAMBDA-CALCULUS
ROSSER, JB
ANNALS OF THE HISTORY OF COMPUTING, 1984, 6 (04): : 337 - 349
[22] Standardization in resource lambda-calculus
Dominici, Maurizio
Della Rocca, Simona Ronchi
Tranquilli, Paolo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (101): : 1 - 11
[23] INVERTIBLE TERMS IN THE LAMBDA-CALCULUS
BERGSTRA, J
KLOP, JW
THEORETICAL COMPUTER SCIENCE, 1980, 11 (01) : 19 - 37
[24] A linear linear lambda-calculus
Diaz-Caro, Alejandro
Dowek, Gilles
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024,
[25] Semantics of time and lambda-calculus
不详
JOURNAL OF INDO-EUROPEAN STUDIES, 1999, 27 (3-4): : 508 - 508
[26] Development Separation in Lambda-Calculus
Xi, Hongwei
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 207 - 221
[27] INTERNAL LABELINGS IN LAMBDA-CALCULUS
PARIGOT, M
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 439 - 445
[28] A lambda-calculus for dynamic binding
Dami, L
THEORETICAL COMPUTER SCIENCE, 1998, 192 (02) : 201 - 231
[29] REDUCTION GRAPHS IN THE LAMBDA-CALCULUS
ZILLI, MV
THEORETICAL COMPUTER SCIENCE, 1984, 29 (03) : 251 - 275
[30] STANDARDIZATION THEOREM FOR LAMBDA-CALCULUS
MITSCHKE, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (01): : 29 - 31

← 1 2 3 4 5 →