Semantics of Programming Languages

University of Cambridge Computer Laboratory

Principal lecturer: Dr Andrew Pitts (
Taken by: Part IB
Number of lectures: 12
Lecture location: Heycock Room
Lecture times: 11:00 on TTS starting 02-Feb-99

  • Lecture notes and slides. (First edition 1997. Revised 1998,1999.)[ps]
  • List of corrections to the notes.

  • IB

    Provisional information only
    Generated at 09:55.21 on 4/9/1998