Introduction to Domain Theory

Overview

Graham Hutton , University of NottinghamDomain 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.

Lectures

Summary

There is also a summary sheet of the main concepts from lectures 1-4.





