Categories, proofs and processes course of the University of Oxford (source code)

= Categories, proofs and processes course of the University of Oxford
{title2=Schedule C1, 2026–27}

Written examination at the start of Hilary term.