Categories, Proofs and Processes (2025-26)
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/2025-2026/catsproofsprocs/
You do not have permission to view discussions in this forum.