'A rejected attempt at formalising ALGOL 60' by Landin
MS. Landin 80
Bodleian Libraries, University of Oxford
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
'A rejected attempt at formalising ALGOL 60' by Landin
Shelfmark
MS. Landin 80
Summary
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.
Date
c.Dec 1963, later annotated 1965
Language
English
Physical extent
1 box
View full record in Bodleian Archives & Manuscripts
Collection contents
Archive of Peter Landin, computer scientist, academic and gay rights campaigner
Drafts, unpublished and published works
'A rejected attempt at formalising ALGOL 60' by Landin
