λ-Calculus
MS. Eng. misc. b. 276/C.240
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. 276/C.240
Summary
Various notes and problems on λ-Calculus, perhaps for course of lectures, annotated by Strachey, 1973.
Correspondence with P. Welch 1975 regarding a problem arising from the lectures.
Date
1973-1975
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
