Last updated on 14th December 2014
Graham Hutton
School of Computer Science
University of Nottingham
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 used in many branches of modern research on programming languages and their semantics. The aim of this course is to teach the basic concepts of domain theory.
There is also a summary sheet of the main concepts from lectures 1-4.