Folder of miscellaneous manuscript and typescript material of various dates, as kept by Strachey under the above heading. Includes: 'Fundamental Mathematical Concepts Underlying Programming Languages', 2 typescript drafts (2 pages and 3 pages) with numerous manuscript amendments by Strachey, for an introduction to a longer talk or paper on this subject. Abstract of 'Towards a Formal...

Lecture, Oxford, 15 March 1968. 6 pages. See also MS. Eng. misc. b. 255/B.23 regarding loan of films from Bell Telephone Laboratories, to illustrate this lecture.

Lecture, Leicester Branch, British Computer Society, 21 March 1968. 5-page manuscript, correspondence regarding delivery, and a synopsis for distribution to members.

Lecture, Oxford Branch of the British Computer Society, 28 January 1969. 16-page manuscript (not all in Strachey's hand) and printed notice of the lecture.

Five-page manuscript of a talk delivered at I.C.L. Bracknell, 20 February 1969, and I.C.L. Stevenage, 24 February 1969.

Three-page manuscript of a talk given to the Oxford Invariant Society, 21 October 1969. Miscellaneous notes and 'Problems for Invariants' in The Game of Moo' for the Invariant Computer Group, founded Michaelmas Term 1968.

One-page typescript abstract of a talk delivered at I.C.L. Advanced Programming Techniques Symposium, December 1969.

Delivered in Oxford, 8-page manuscript.

Five-page manuscript. Includes notes on the question "Can computers think?". There is no indication where this lecture was held.

A talk at a 'Mathematics Today' course for teachers of mathematics, Oxford. Two sets of manuscript notes and a programme of the course.

Eight-page manuscript. There is no indication where this lecture was held.

Seminar at the Department of Machine Intelligence, Edinburgh, given in the course of a visit with the S.C.R. Board of Visitors. Notice of the seminar and brief manuscript notes only.

'An Abstract Model for Storage' (Essex, 19 May 1971). 'The Logical Structure of a Single User Operating System' (Cambridge, 20 May 1971). 'Experiments on the Design of Processors to work efficiently with Compilers'. Includes correspondence.

Bristol Association of Young Scientists (?) - Oxford Schools', 3-page manuscript.

A seminar held at Cambridge, 25 April 1973; 8-page manuscript.

Correspondence regarding a seminar on the semantics of programming languages, to be given at the Department of Artificial Intelligence, Edinburgh, in the course of a visit with S.R.C. Board of Visitors. Includes a programme of the visit.

'Use, not construction, of computers', 7-page manuscript. Lecture on methods of programming, 8-page manuscript. Typescript of a contribution to a discussion on programming languages, paginated 53-69; heavily annotated by Strachey. Seven pages of manuscript notes, under 9 sub-headings, for talks on computers.

Mainly invitations to lectures, contributions to seminars, etc. in the UK and overseas.

Mainly invitations to lectures, contributions to seminars, etc. in the UK and overseas.

Mainly invitations to lectures, contributions to seminars, etc. in the UK and overseas.