Semantics of Programming Languages
2001-02
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