Denotational Semantics

University of Cambridge Computer Laboratory

Principal lecturer: Dr Andrew Pitts (ap@cl.cam.ac.uk)
Taken by: Part II
Number of lectures: 8
Lecture location: Hopkinson Lecture Room
Lecture times: 11:00 on MWF starting 23-Apr-99

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

  • II

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