Includes: 'On models', manuscript, perhaps for a short talk, 5 pages, November 1974. 'Thoughts about Syntax', manuscript 1 page, n.d. 'The Axiom of Choice', n.d.

Includes: 'Notes on self-teaching programs', 1 page with note, M.I.T., 1966. 'Abstraction in Programming Languages', 1 page, notes. 'Numerals', 2 pages Plan for publication on the philosophical foundations and methods of language programming, under 17 headings with notes on contents, 7 pages, n.d. 'Logical Structure of a Small Operating…

Typescript and manuscript notes on various topics, by Strachey and other members of the P.R.G., 1969. Includes two tagged bundles of notes by Strachey, on 'ALGOL Formal Semantics' and 'Types and other Manifest attributes'.

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

Notes, exercises and examples for courses at Oxford.

Notes, exercises and examples for courses at Oxford.

Notes, exercises and examples for courses at Oxford.

Notes, exercises and examples for vacation courses on programming, at Oxford.

Notes, exercises and examples for vacation courses on programming, at Oxford. Material for a course on 'Introduction to Computing'.

Notes, exercises and examples for vacation courses on programming, at Oxford. Material for 'Undergraduate Computer Course'.

'Logical Hardware Lecture Notes, Hilary 1971'. Tagged bundles of notes and narratives, and miscellaneous exercises and problems, bearing various dates.

Folder of manuscript and duplicated material, notes and examples on semantics, λ-calculus, etc., probably for teaching.

Miscellaneous manuscript notes and narratives, various dates.

Tagged bundle of notes on 'Outline of Processes of Computation.' With some loose pages of diagrams on the same subject headed 'Abstract Process of Computation' and 'Concrete Process of Computation'.