Teaching and research material: 'Seminar on formal semantics. Mich(aelmas) 1969'
MS. Eng. misc. b. 277/C.264
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
Teaching and research material: 'Seminar on formal semantics. Mich(aelmas) 1969'
Shelfmark
MS. Eng. misc. b. 277/C.264
Summary
Manuscript notes by Strachey on D. Scott's seminar on formal semantics given at Oxford, November 1969. Includes some teaching material distributed by Scott: 'A Theory of Computable Functions of a Higher Type', 'A Construction of a Model for the λ-Calculus', and ' Notes on Semantics'.
Date
1969
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.)
Miscellaneous notes and drafts
Teaching and research material: 'Seminar on formal semantics. Mich(aelmas) 1969'
