'Formal Semantics - Miscellaneous work more or less in progress', 1969-1972
File
MS. Eng. misc. b. 275/C.232
Held at the Weston Library
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)
Dates
- Creation: 1969-1972
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 275/C.232
Former reference:
CSAC 71.1.80/C.232
Repository Details
Part of the Bodleian Libraries Repository
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk