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.