Skip to main content

'Notes for Talks, etc. Mathematical Basis of Programming Languages', 1966-1969

MS. Eng. misc. b. 296/G.22
Held at the Weston Library

  • Request

Folder of miscellaneous manuscript and typescript material of various dates, as kept by Strachey under the above heading. Includes:

  1. '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.
  2. Abstract of 'Towards a Formal Semantics', 2-page typescript (1966), 7-page manuscript of the same title.
  3. 'Basic Mathematical Concepts Underlying Programming Languages', a lecture given at Pisa, December 1969. 8-page manuscript notes.
  4. 'A problem with loops', 4-page manuscript.
  5. 'Appendix. Summary of notation used in this paper', 5-page manuscript.
  6. Miscellaneous pages of manuscript and typescript draft, notes, and calculations.


  • Creation: 1966-1969


1 file

Language of Materials

  • English


MS. Eng. misc. b. 296/G.22

Former reference:

CSAC 71.1.80/G.22

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom