'Formal Semantics - Miscellaneous work more or less in progress'
MS. Eng. misc. b. 275/C.232
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 - Miscellaneous work more or less in progress'
Shelfmark
MS. Eng. misc. b. 275/C.232
Summary
Bundles of notes, calculations and narrative, various dates March 1969-February 1972, with headings or titles as follows:
'Basic Functions'
'Conditional Expressions'
'Simple language without side effects'
'Sample Class 2 language (derived from PA)'
'Abstract syntax'
'Stored Commands'
'Lists and Polyadic functions'
'Commute'
'Example (2nd Loop theorem)'
'Loop Theorem I'
'Notation'
'Simplification of fixed point results'
'Assignment method for recursion'
'Dijkstra's Problem' (2 sets, February 1972 and earlier work, March 1970)
'Induction'
Untitled (on Dijkstra)
Date
1969-1972
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.)
Formal Semantics (in collaboration with D. Scott and others) including λ-Calculus
'Formal Semantics - Miscellaneous work more or less in progress'
