λ-Calculus, 1973-1975
File
MS. Eng. misc. b. 276/C.240
Held at the Weston Library
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.
Dates
- Creation: 1973-1975
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 276/C.240
Former reference:
CSAC 71.1.80/C.240
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