Denotational Semantics
Lecture notes
Here are the lecture notes. They might evolve slightly during the course of the term.
Lecture Slides
The complete slides are here. Below are the slides lecture by lecture, with the live notes when there were some.- Lecture 1: Introduction to domain theory.
- Lecture 2: Domains and fixed points.
- Lecture 3: Continuity, and flat and product domains.
- Lecture 4: Function domains and Scott induction.
- Lecture 5: PCF, its syntax and operational semantics.
- Lecture 6: Denotational semantics of PCF, and compositionality.
- Lecture 7: Soundness and adequacy.
- Lecture 8: Proof of adequacy.
- Lecture 9: Extensionality and failure of full abstraction.
- Lecture 10: Beyond full abstraction failure and conclusion.