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

被引:83
作者
LANDIN, PJ
机构
关键词
D O I
10.1145/363791.363804
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:158 / &
相关论文
共 1 条
[1]   A CORRESPONDENCE BETWEEN ALGOL 60 AND CHURCHS LAMBDA-NOTATION .1. [J].
LANDIN, PJ .
COMMUNICATIONS OF THE ACM, 1965, 8 (02) :89-&