Includes: Two drafts (June 1962) of a paper prepared at the request of P.M.S. Blackett, and later circulated as a paper for the D.S.I.R. Working Party on Computer Science. Correspondence with Blackett and H. Jones regarding the feasibility of establishing a research team in computing theory at Imperial College. 'Proposed Group to Study Mathematical Aspects of Computer…

Correspondence, including invitation to write the paper, list of those to whom it was circulated, and comments from them (includes 2-page typed comments from S. Gill). A copy of the E.M.I. Research paper is included here.

Manuscript draft, typescript and duplicated versions of the paper, 9 June 1964. Research material with comparative performance figures, press-cuttings, etc.

Several manuscript drafts of a paper prepared by Strachey for B.V. Bowden, January 1965, on the use of small computers for teaching purposes in schools. Folder also includes a copy of 'Tentative Plan for a National Computer Authority' by S. Gill, September 1964, sent to Strachey for information; correspondence with Bowden and C.P. Snow; correspondence and information regarding Digital Equipment Corporation to whom Strachey had written for information regarding their PDP 8…

Carbon of a note by Strachey 'Computers in Great Britain' (on computer education) sent January 1965 from Churchill College, especially on the use of a PDP8 for the purpose, and related correspondence.

Manuscript (untitled and undated, but probably prepared for above scheme) of information about computing, devised for school children and introducing competition 'to arouse interest in electronic computers and in the process of writing programs for them', accompanied by problems for solving.

'Towards a Formal Semantics'. Paper submitted at the I.F.I.P. Conference, Vienna, September 1964. Typed draft with manuscript corrections and revised version dated July 1964, manuscript list of errata and references. Offprint of the paper from conference proceedings, ed. T.B. Steel, North-Holland Publishing Co., Amsterdam, 1966 (includes discussion of the paper at the conference).

'A general purpose macrogenerator', The Computer Journal, 8, October 1965. Offprint of published paper. Two related papers: 'Proposed Scheme for Segmenting CI's and SSR's' signed CS, February 1965; 'A Comparison of the Facilities of TRAC, SNOBOL, LISP, COMIT and the General Purpose Macrogenerator of C. Strachey', Cambridge Language Research Unit Document 4, August 1967, annotated by Strachey.

Draft specification for 'Magtyper', 3 pages.

'How to make computers do difficult things easily'. Summary only of a paper given by Strachey at the Machine Intelligence Workshop, 1966, held at the Experimental Programming Unit (later, Department of Machine Intelligence), Edinburgh. Folder contains abstracts of all papers given at the Workshop, which included R.J. Popplestone's POP-1, and related material on the Experimental Programming Unit.

Editorial correspondence including the invitation to write the article (for a special September issue of Scientific American on Information) and its content, miscellaneous additions and revisions, and proposed German translation.