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

Various notes and problems on λ-Calculus, perhaps for course of lectures, annotated by Strachey, 1973. Correspondence with P. Welch 1975 regarding a problem arising from the lectures.

Folder of research material on programming languages and miscellaneous problems, by members of the P.R.G. and others, sent to Strachey or kept by him as background information. Mainly 1972. Includes reports and papers on research in progress by R. Milne, C. Wadsworth (P.R.G.); extended correspondence between D. Scott and R. Milner, 1972, on λ-Calculus and lattice structures; notes on 'Jump-free PAL' by S. Linfoot (P.R.G.).

Manuscript and first typed draft with manuscript corrections for the Introduction and Chapter I of a work with this title, July 1971.

Folder of notes, plans and calculations, some under title 'An axiomatic model of storage', a few by Scott but almost all by Strachey. Various dates June 1970-May 1971.

Notes and papers, probably taken for, or at, discussion meeting at P.R.G., n.d. c.1970-1971.

Notes and calculations on 'Free Store Package' and vectors, with test printouts, dated October-November 1971. These were used for P.R.G. in-house seminar on 'Style in Programming' which discussed examples of bad programming style found in the OS6 system. (Information supplied by M. Harper of P.R.G.)

The idea of the 'BUG FILE' was that all the members of the P.R.G. would analyse (and record) their program bugs so that causes of mistakes could be recognised. Unfortunately most people (including Strachey) only kept their file for a week or so, and nothing came of the idea. (Information supplied by M. Harper of P.R.G.)

Notes and printout.

Folder of miscellaneous material on programming and use of the P.R.G.'s computer; includes a few notes and programs by Strachey, and some notes and reports by other members of the P.R.G.

Notes, calculations and drafts on ideas for computer design. Includes: 'Possible I.C. Machine', 24 February 1971. 'Design of Large Computer Systems', 5-page manuscript draft, possibly a draft for a paper or a recommendation. 'Sequel to Time-sharing in Large Fast Computers' suggests that the reduction in cost of hardware means that time-sharing is no longer desirable…

Miscellaneous notes and calculations, perhaps also for ideas on machine design, on 'Hops', 'Stack machine' (1972), 'Squasher Table' (for BCPL), etc.

Miscellaneous notes for talk or paper to answer questions 'Why? How? What for? What?'

Includes notes on 'Manifest functions' and also other notes on language design headed: 'Language I', June 1973 'Error exits from functions and routines', August 1973 'Dynamic type checking', n.d.

Miscellaneous bundles of notes, calculations and narrative, mainly on 'Conditional Expressions', and various 'Models of Store'. Various dates, latest December 1973.

Miscellaneous narratives, notes, calculations, routines and printouts, mainly connected with an Anagram program which Strachey was developing.

Manuscript questions and problems on formal semantics and concepts in programming languages, devised for the section 'Theory of Programming Languages' in the Honour School of Mathematics, Oxford

Miscellaneous notes and calculations on semantics, some dated.

Miscellaneous routines and test printouts. Mainly for 'Recipes' program, possibly intended to test ideas on the compact storage of information, and some general P.R.G. computer documentation.

Folder of miscellaneous material, mainly on self-reproducing programs devised by Strachey and others in the P.R.G. Includes a sequence of notes by Strachey on 'Recursive Routines and Loops'.