Formal semantics and concepts in programming languages
MS. Eng. misc. b. 276/C.255
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
Formal semantics and concepts in programming languages
Shelfmark
MS. Eng. misc. b. 276/C.255
Summary
Manuscript questions and problems on formal semantics and concepts in programming languages, devised for the section 'Theory of Programming Languages' in the Honour School of Mathematics, Oxford
Date
June 1974
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Working Papers, Notes, and Calculations
Oxford University Programming Research Group (P.R.G.)
Miscellaneous notes and drafts
Formal semantics and concepts in programming languages
