Notes for A Mathematical Theory of Computation
MS. Eng. misc. b. 275/C.224
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 A Mathematical Theory of Computation
Shelfmark
MS. Eng. misc. b. 275/C.224
Summary
Plans, chapter headings and notes for book A Mathematical Theory of Computation, to be written by Scott and Strachey. The plan and chapter headings are in Scott's hand; comments, notes and drafts for sections of the work are by Strachey. Various dates August 1969.
The book was not completed, but many of the notes and calculations in the following folders were preparatory material for the project.
Date
1969
Language
English
Physical extent
1 file
View full record in Bodleian Archives & Manuscripts
Collection contents
Papers and correspondence of Christopher Strachey
Working Papers, Notes, and Calculations
Oxford University Programming Research Group (P.R.G.)
Formal Semantics (in collaboration with D. Scott and others) including λ-Calculus
Notes for A Mathematical Theory of Computation
