Skip to main content

'Formal Semantics - Miscellaneous work more or less in progress', 1969-1972

MS. Eng. misc. b. 275/C.232
Held at the Weston Library

  • Request

Bundles of notes, calculations and narrative, various dates March 1969-February 1972, with headings or titles as follows:

  1. 'Basic Functions'
  2. 'Conditional Expressions'
  3. 'Simple language without side effects'
  4. 'Sample Class 2 language (derived from PA)'
  5. 'Abstract syntax'
  6. 'Stored Commands'
  7. 'Lists and Polyadic functions'
  8. 'Commute'
  9. 'Example (2nd Loop theorem)'
  10. 'Loop Theorem I'
  11. 'Notation'
  12. 'Simplification of fixed point results'
  13. 'Assignment method for recursion'
  14. 'Dijkstra's Problem' (2 sets, February 1972 and earlier work, March 1970)
  15. 'Induction'
  16. Untitled (on Dijkstra)


  • Creation: 1969-1972


1 file

Language of Materials

  • English


MS. Eng. misc. b. 275/C.232

Former reference:

CSAC 71.1.80/C.232

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom