'A theory of programming language semantics', 1974-1975
File
MS. Eng. misc. b. 294/F.71
Held at the Weston Library
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.
Dates
- Creation: 1974-1975
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 294/F.71
Former reference:
CSAC 71.1.80/F.71
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