'A theory of programming language semantics'
MS. Eng. misc. b. 294/F.71
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 theory of programming language semantics'
Shelfmark
MS. Eng. misc. b. 294/F.71
Summary
Folder of miscellaneous notes and calculations, mainly testing out various hypotheses, November 1974-March 1975.
Includes a copy of a note by R. Milne on 'Induction rule for loops' and two bundles of more extended notes (each 10 pages) by Strachey, March 1975.
Date
1974-1975
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Publications, Reviews, Reports & Papers
'A theory of programming language semantics'
