Semantics of Programming Languages
2001-02

University of Cambridge Computer Laboratory

Principal lecturer: Prof. Andrew Pitts (amp12@cl.cam.ac.uk)
Taken by: Part IB

  • Syllabus.
  • Lecture notes and slides [ps].
  • List of corrections to the notes [ps].
  • Past exam questions
  • Although one of the books on the recommended reading list, Hennessy's Semantics of Programming Languages (Wiley, 1990), is out of print, it is available on the web here.

  • IB