Skip to main content

Teaching and research material: 'Seminar on formal semantics. Mich(aelmas) 1969', 1969

MS. Eng. misc. b. 277/C.264
Held at the Weston Library

  • Request

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'.


  • Creation: 1969


1 file

Language of Materials

  • English


MS. Eng. misc. b. 277/C.264

Former reference:

CSAC 71.1.80/C.264

Repository Details

Part of the Bodleian Libraries Repository

Weston Library
Broad Street
Oxford OX1 3BG United Kingdom