'Notes for Talks, etc. Mathematical Basis of Programming Languages'
MS. Eng. misc. b. 296/G.22
Bodleian Libraries, University of Oxford
Description
From Bodleian Archives & Manuscripts
This is an extract only. For more information, see the catalogue record in Bodleian Archives & Manuscripts.
Bodleian Archives & Manuscripts contains descriptions of the Bodleian Libraries’ archival collections, including post-1500 manuscripts. Some manuscripts with records in other catalogues are also described here as part of a description of a larger archive. Learn more.
Title
'Notes for Talks, etc. Mathematical Basis of Programming Languages'
Shelfmark
MS. Eng. misc. b. 296/G.22
Summary
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.
Date
1966-1969
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Lectures, Talks and Papers
'Notes for Talks, etc. Mathematical Basis of Programming Languages'
