ALGEBRA AND THE LAMBDA-CALCULUS

被引：0

|

作者：

JAFFER, A ^{[1
]}

机构：

[1] LEAGUE PROGRAMMING FREEDOM,WAKEFIELD,MA 01880

来源：

DR DOBBS JOURNAL | 1993年 / 18卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：36 / &

相关论文

共 50 条

[21] INVERTIBLE TERMS IN THE LAMBDA-CALCULUS
BERGSTRA, J
KLOP, JW
[J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (01) : 19 - 37
[22] HIGHLIGHTS OF THE HISTORY OF THE LAMBDA-CALCULUS
ROSSER, JB
[J]. ANNALS OF THE HISTORY OF COMPUTING, 1984, 6 (04): : 337 - 349
[23] INTERNAL LABELINGS IN LAMBDA-CALCULUS
PARIGOT, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 439 - 445
[24] A lambda-calculus for dynamic binding
Dami, L
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 192 (02) : 201 - 231
[25] Development Separation in Lambda-Calculus
Xi, Hongwei
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 207 - 221
[26] STANDARDIZATION THEOREM FOR LAMBDA-CALCULUS
MITSCHKE, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (01): : 29 - 31
[27] REDUCTION GRAPHS IN THE LAMBDA-CALCULUS
ZILLI, MV
[J]. THEORETICAL COMPUTER SCIENCE, 1984, 29 (03) : 251 - 275
[28] A linearization of the lambda-calculus and consequences
Kfoury, AJ
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (03) : 411 - 436
[29] PARALLEL REDUCTIONS IN LAMBDA-CALCULUS
TAKAHASHI, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (02) : 113 - 123
[30] Lambda-Calculus with Director Strings
Maribel Fernández
Ian Mackie
François-Régis Sinot
[J]. Applicable Algebra in Engineering, Communication and Computing, 2005, 15 : 393 - 437

← 1 2 3 4 5 →