'String Manipulation in ISWIM - some examples'; 'Programs and their Proofs: an algebraic approach' (co-authored by Rod Burstall); 'A Program Machine Symmetric Automata Theory' (co-authored by Rod Burstall)
MS. Landin 12
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
'String Manipulation in ISWIM - some examples'; 'Programs and their Proofs: an algebraic approach' (co-authored by Rod Burstall); 'A Program Machine Symmetric Automata Theory' (co-authored by Rod Burstall)
Shelfmark
MS. Landin 12
Date
Apr 1965-May 1971
Language
English
Physical extent
1 box (3 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
'String Manipulation in ISWIM - some examples'; 'Programs and their Proofs: an algebraic approach' (co-authored by Rod Burstall); 'A Program Machine Symmetric Automata Theory' (co-authored by Rod Burstall)
