'λ-Calculus', 1970
File
MS. Eng. misc. b. 275/C.238
Held at the Weston Library
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.
Dates
- Creation: 1970
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 275/C.238
Former reference:
CSAC 71.1.80/C.275
Repository Details
Part of the Bodleian Libraries Repository
Contact:
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk
Weston Library
Broad Street
Oxford OX1 3BG United Kingdom
specialcollections.enquiries@bodleian.ox.ac.uk