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 条

[31] NUMERATION MODELS OF LAMBDA-CALCULUS
KANDA, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 209 - 220
[32] Lambda-Calculus with Director Strings
Maribel Fernández
Ian Mackie
François-Régis Sinot
Applicable Algebra in Engineering, Communication and Computing, 2005, 15 : 393 - 437
[33] PARALLEL REDUCTIONS IN LAMBDA-CALCULUS
TAKAHASHI, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (02) : 113 - 123
[34] WHAT IS A MODEL OF THE LAMBDA-CALCULUS
MEYER, AR
INFORMATION AND CONTROL, 1982, 52 (01): : 87 - 122
[35] A linearization of the lambda-calculus and consequences
Kfoury, AJ
JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (03) : 411 - 436
[36] PARALLEL REDUCTIONS IN LAMBDA-CALCULUS
TAKAHASHI, M
INFORMATION AND COMPUTATION, 1995, 118 (01) : 120 - 127
[37] INTRODUCTION TO COMBINATORS AND LAMBDA-CALCULUS
KNOTT, RD
UNIVERSITY COMPUTING, 1988, 10 (03): : 166 - 167
[38] THE LAMBDA-CALCULUS - BARENDREGT,HP
HODES, H
PHILOSOPHICAL REVIEW, 1988, 97 (01): : 132 - 137
[39] Sharing in the weak lambda-calculus
Blanc, T
Lévy, JJ
Maranget, L
PROCESSES, TERMS AND CYCLES: STEPS ON THE ROAD TO INFINITY: ESSAYS DEDICATED TO JAN WILLEM KLOP ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3838 : 70 - 87
[40] A typed, algebraic, computational lambda-calculus
Valiron, Benoit
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (02) : 504 - 554