Graham Hutton, University of Nottingham Overview Domain theory has its roots in the seminal work of Scott and Strachey in the 1970s on denotational semantics, in particular on solving the technical problems that arise in giving semantics to recursively defined programs and types. As well as being one of the most fascinating topics in the foundations of computing science, domain-theoretic ideas are