University of Cambridge Computer Laboratory

Principal lecturer: Dr Peter Sewell (pes20@cl.cam.ac.uk)
Taken by: Part II
Number of lectures: 8
Lecture location: Babbage Lecture Room N.B. Not the Rayleigh!
Lecture times: 11:00 on MWF starting 09-Oct-98

Copies of the slides and lecture notes will be placed here as the course progresses.

Lecture Notes (including the slides)

ML Code

Web pointers


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