skip to primary navigationskip to content

Department of Computer Science and Technology

Denotational Semantics

 

Course pages 2024–25

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.

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.