MAIN FEATURES OF CPL

被引:28
作者
BARRON, DW
BUXTON, JN
NIXON, E
STRACHEY, C
HARTLEY, DF
机构
关键词
D O I
10.1093/comjnl/6.2.134
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:134 / &
相关论文
共 6 条
[1]  
CHURCH A, 1941, CALCULI LAMBDACONVER
[2]  
DUNCAN FG, 1963, COMPUTER J, V5, P341
[3]  
ILIFFE JK, 1961, ANN REVIEW AUTOMATIC, V2
[4]   RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE, .1. [J].
MCCARTHY, J .
COMMUNICATIONS OF THE ACM, 1960, 3 (04) :184-195
[5]  
NAUR P, 1963, COMPUT J, V5, P349
[6]  
Strachey C., 1961, COMMUN ACM, V4, P448