'A rejected attempt at formalising ALGOL 60' by Landin, c.Dec 1963, later annotated 1965
File
Shelfmark: 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