Course pages 2011–12
- Lecture notes [black and white pdf].
- List of corrections to the notes [pdf].
- Slides [colour pdf]:
- Computation Theory.
- Foundations of Functional Programming. (Since 2009, the last three lectures of this course have incorporated some material from a Part IB course on Foundations of Functional Programming that is no longer offered.)
- Additional material: