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
- Lecture 4: Syntax, typing, and semantics of PCF
- Lecture 5: Compositionality, soundness and adequacy
- Lecture 6: Proof of adequacy
- Lecture 7: Extensionality and full abstraction
- Lecture 8: Beyond full abstraction
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.