skip to primary navigation skip to content

Denotational Semantics

Lecture notes

Here are the lecture notes.

Lecture Slides

Below are the slides lecture by lecture:

Lecture 1: Introduction to domain theory.
Lecture 2: Domains and fixed points. Some constructions on domains
Lecture 3: Function domains and Scott iNduction

Exercises

Exercises are given directly in the course notes, at the end of each chapter. Complementarily, here is also a selection of exercises drawn from previous papers.