'Dana Scott's λ and Simplified universal domain', 1973
File
MS. Eng. misc. b. 276/C.239
Held at the Weston Library
Copy of Scott's paper 'A simplified construction for λ-Calculus Models' delivered at Uppsala, April 1973.
Extensive notes and comments on above by Strachey.
'Subsets of Pω', notes by Scott (Trinity Term 1973).
Dates
- Creation: 1973
Extent
1 file
Language of Materials
- English
Shelfmark
MS. Eng. misc. b. 276/C.239
Former reference:
CSAC 71.1.80/C.239
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