Correspondence not included by Strachey in loose-leaf binders, but covering the same period and material. Includes suggestions from colleagues, correspondence with editors, and an annotated draft of the paper "Towards a Mathematical Semantics for Computer Languages".