Box 606921266
Container
Contains 1 Result:
File
'A rejected attempt at formalising ALGOL 60' by Landin, c.Dec 1963, later annotated 1965
The attempt uses an 'analytical tree' instead of abstract ALGOL 60 as in A correspondence between ALGOL and Church's Lambda-notation. Includes, as described by Landin, helpful comments on the semantic function not included in the publication and only partly included in A Formal Description of ALGOL 60.
Found in:
Drafts, unpublished and published works
Shelfmark: MS. Landin 80
Extents: 1 box
Dates:
c.Dec 1963, later annotated 1965