Skip to main content

'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

  • Request
    this

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