'Notes for Talks, etc. Mathematical Basis of Programming Languages', 1966-1969
File
MS. Eng. misc. b. 296/G.22
Held at the Weston Library
Folder of miscellaneous manuscript and typescript material of various dates, as kept by Strachey under the above heading. Includes:
- 'Fundamental Mathematical Concepts Underlying Programming Languages', 2 typescript drafts (2 pages and 3 pages) with numerous manuscript amendments by Strachey, for an introduction to a longer talk or paper on this subject.
- Abstract of 'Towards a Formal Semantics', 2-page typescript (1966), 7-page manuscript of the same title.
- 'Basic Mathematical Concepts Underlying Programming Languages', a lecture given at Pisa, December 1969. 8-page manuscript notes.
- 'A problem with loops', 4-page manuscript.
- 'Appendix. Summary of notation used in this paper', 5-page manuscript.
- Miscellaneous pages of manuscript and typescript draft, notes, and calculations.
Dates
- Creation: 1966-1969
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 296/G.22
Former reference:
CSAC 71.1.80/G.22
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