nLab Christopher Strachey (changes)

Showing changes from revision #1 to #2: Added | ~~Removed~~ | ~~Chan~~ged

Selected writings

On the theory of computation and introducing the notion of denotational semantics of programming languages by what came to be called domain theory:

Dana S. Scott, Christopher Strachey, Toward a Mathematical Semantics for Computer Languages, Oxford University Computing Laboratory, Technical Monograph PRG-6 (1971) [[pdf](https://www.cs.ox.ac.uk/files/3228/PRG06.pdf), pdf]

category: people

Last revised on December 29, 2022 at 19:53:03. See the history of this page for a list of all contributions to it.