'λ-Calculus'
MS. Eng. misc. b. 275/C.238
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
'λ-Calculus'
Shelfmark
MS. Eng. misc. b. 275/C.238
Summary
Includes extended narrative by Strachey 'λ-Calculus as a language. Contains details of proof of correctness of substitution lemmas etc. in the model', December 1970.
Six bundles of notes and calculations by Strachey, R. Milne, C. Wadsworth.
Date
1970
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
'λ-Calculus'
