Skip to main content

'A theory of programming language semantics', 1974-1975

MS. Eng. misc. b. 294/F.71
Held at the Weston Library

  • Request

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.


  • Creation: 1974-1975


1 file

Language of Materials

  • English


MS. Eng. misc. b. 294/F.71

Former reference:

CSAC 71.1.80/F.71

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom