Technical work 1950s-1960s
MS. Landin 108
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
Technical work 1950s-1960s
Shelfmark
MS. Landin 108
Summary
Originally marked as 'historical interest' by Landin and includes papers on the following:
(folder 1) 'Standardised definitions and Recursions'
(folder 2) 'Attempt to provide semantics for fixed-pointing via semantics for infinite expressions', 'Self reference in other notation' (annotated) and writings on fixed points
(folder 3) 'Translating'
(folder 4) 'Translating analysed algebra'.
Date
1958-May 1967, surveyed and annotated by Landin Feb 1981
Language
English
Physical extent
1 box (4 folders)
View full record in Bodleian Archives & Manuscripts
Collection contents
Archive of Peter Landin, computer scientist, academic and gay rights campaigner
Work papers
Technical work, research and projects
Technical work 1950s-1960s
