'A rejected attempt at formalising ALGOL 60' by Landin, c.Dec 1963, later annotated 1965
File
MS. Landin 80
Held in our offsite storage facility
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.
Dates
- Creation: c.Dec 1963, later annotated 1965
Extent
1 box
Language of Materials
- English
Shelfmark
MS. Landin 80
Repository Details
Part of the Bodleian Libraries Repository
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk