Various publications
MS. Landin 146
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
Various publications
Shelfmark
MS. Landin 146
Summary
Comprises:
(folder 1) material relating to lectures given at the University of London Computer Unit, Jun 1963-1964 on the topic of 'The Logical Structure of Programming Languages', with document 'A relation between ALGOL 60 and Church's Notation'
(folders 2, 5) technical reports written by Landin whilst working for Programming Research department, Univac
(folder 3) A Generalization of Jumps and Labels
(folder 4) Landin's folders of 'Getting papers in' and 'Sending papers out'
(folder 6) Histories of Discoveries of Continuations: Belles Lettres with Equivocal Tenses.
Date
Jul 1963-Dec 1996, n.d.
Language
English
Physical extent
1 box (6 folders)
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
Various publications
