Denotational Semantics
Lecture notes
This year's lecture notes are here.
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.