Catalogue description 'A theory of programming language semantics'

This work was submitted as a joint entry by Robert E. Milne and Strachey for the Adams Prize Essay of the University of Cambridge (closing date for entries 31 December 1974).

Strachey was Milne's Supervisor for his Thesis 'The formal semantics of computer languages and their implementations', submitted for a Doctorate of Philosophy at Cambridge (see CSAC 71.1.80/F.61-CSAC 71.1.80/F.64 below). After their subsequent collaboration for the Adams Prize, Strachey devoted much of the last months of his life to preparing the manuscript for publication, but died in May 1975 with the task incomplete. Milne rewrote and completed the work, which was published as 'A Theory of Programming Language Semantics' by Robert Milne and Christopher Strachey, Chapman and Hall, 1976.