Semantics of Programming Languages

University of Cambridge Computer Laboratory
Principal lecturer: Dr 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