Syllabus.
From this year the course incorporates some material from a Part IB
course on Foundations of Functional Programming that is no
longer offered. Specifically, the last three lectures of the course,
on lambda-calculus, replace material from previous years on
recursively enumerable sets.