Categories, Proofs and Processes (2026-27)
Main content blocks
No contacts
Course information
Course term: Michaelmas
Course lecture information: Lectures are held at the Department of Computer Science.
Course overview:
This course is taught by the Department of Computer Science, please see https://www.cs.ox.ac.uk/teaching/courses/2026-2027/catsproofsprocs/
You do not have permission to view discussions in this forum.