MAIN FEATURES OF CPL

[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]. 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

[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]. 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