MECHANICAL EVALUATION OF EXPRESSIONS

被引：331

作者：

LANDIN, PJ

机构：

来源：

关键词：

D O I：

10.1093/comjnl/6.4.308

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：308 / &

共 9 条

[1]

CHURCH A, 1941, CALCULI LAMBDACONVER

[2]

Curry H., 1958, COMBINATORY LOGIC, V1

[3]

DIJKSTRA EW, 1962, 13 AUTOM PROGR B

[4]

DIJKSTRA EW, 1962, SUBSTITUTION PROCESS

[5]

GILMORE P, 1963, COMPUTER PROGRAMMING

MCCARTHY, J .

[7]

MCCARTHY J, 1962, 15 LISP PROGR MAN

[8]

Quine WVO., 1960, WORD OBJECT, DOI DOI 10.2307/2104619

[9]

ROSENBLOOM PC, 1950, ELEMENTS MATHEMATICA