Correspondence between ALGOL 60 and Church's Lambda-notation: part I
PJ Landin - Communications of the ACM, 1965 - dl.acm.org
PJ Landin
Communications of the ACM, 1965•dl.acm.orgAnyone familiar with both (~ hurch's X-calculi (see eg [7]) attd ALTO], 60 [61 will have
noticed a superticial resemblance t) etween the uay variables tie up with the X's in a nest of
X-expressions, and the way identifiers tie up wiltt the headings in a nesl, of procedures and
blocks. Some may also have observed that in, say {\ff (a)+ f (b)}[Xx.: c 2+ px+ q] the two X-
expressions, ie the operator and the opcr~ md, play roughly the roles of Mock-body and
proceduredeclaration, respectively. The present paper explores this resemblance ii~ some …
noticed a superticial resemblance t) etween the uay variables tie up with the X's in a nest of
X-expressions, and the way identifiers tie up wiltt the headings in a nesl, of procedures and
blocks. Some may also have observed that in, say {\ff (a)+ f (b)}[Xx.: c 2+ px+ q] the two X-
expressions, ie the operator and the opcr~ md, play roughly the roles of Mock-body and
proceduredeclaration, respectively. The present paper explores this resemblance ii~ some …
Anyone familiar with both (~ hurch's X-calculi (see eg [7]) attd ALTO], 60 [61 will have noticed a superticial resemblance t) etween the uay variables tie up with the X's in a nest of X-expressions, and the way identifiers tie up wiltt the headings in a nesl, of procedures and blocks. Some may also have observed that in, say {\ff (a)+ f (b)}[Xx.: c 2+ px+ q] the two X-expressions, ie the operator and the opcr~ md, play roughly the roles of Mock-body and proceduredeclaration, respectively. The present paper explores this resemblance ii~ some detail.