Computer Laboratory

Course pages 2016–17 (still under preparation!)

Category Theory and Logic

Lecture slides

Lecture summaries

Exercise sheets

Office hours

Additional material