Denotational Semantics
Lecture notes
This year's lecture notes are here.
At the moment, they do not cover (yet) all the material of the course. For the missing
chapters, you can consult
last year's course material,
on which this year's notes are heavily based.
Lecture Slides
The complete slides are here.
- Lecture 1: Introduction and posets.
- Lecture 2: Domains, and some constructions (flat domains, product domains).
- Lecture 3: More constructions (finished product domains, function domains).
- Lecture 4: Scott induction, PCF and its operational semantics.
- Lecture 5: Exercise session.
- Lecture 6: Contextual equivalence, the goals of denotational semantics, some denotational semantics.
- Lecture 7: Denotational semantics, compositionality and soundness.
- Lecture 8: Adequacy.
- Lecture 9: Full abstraction, and beyond.
- Lecture 10: Exercise session.
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.