A CORRESPONDENCE BETWEEN ALGOL 60 AND CHURCHS LAMBDA-NOTATION .1.

被引：128

作者：

LANDIN, PJ

机构：

来源：

关键词：

D O I：

10.1145/363744.363749

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：89 / &

共 12 条

[1] MAIN FEATURES OF CPL [J].

BARRON, DW ;

BUXTON, JN ;

NIXON, E ;

STRACHEY, C ;

HARTLEY, DF .

[2]

BOHM C, 1964, SEP IFIP WORK C BAD

[3] DESIGN OF A SEPARABLE TRANSITION-DIAGRAM COMPILER [J].

CONWAY, ME .

[4]

Curry H., 1958, COMBINATORY LOGIC, V1

[5] MECHANICAL EVALUATION OF EXPRESSIONS [J].

LANDIN, PJ .

[6]

LANDIN PJ, 1964, SEP IFIP WORK C BAD

[7]

MCCARTHY J, 1963, 1962 IFIP MUN C NORT

[8]

MCCARTHY J, 1962, LISP1.5 PROGRAMMERS

[9]

Naur P., 1963, COMMUN ACM, V6, P1, DOI DOI 10.1145/366193.366201

[10]

ROSENBLOOM PC, 1950, ELEMENTS MATHEMATICA