Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Covid-19 Information
Toggle
Main Menu
Home
Admissions
Research
News & Events
About Us
Alumni
Our Students
(current)
Innovation
Home
Our Students
Online Resources & Handbooks
Student projects - Types, Proofs and Categorical Logic
Types, Proofs and Categorical Logic
Supervisor
LukeĀ Ong
Suitable for
MSc in Computer Science
Abstract
http://www.cs.ox.ac.uk/people/luke.ong/personal/lukeong-projects-19-20.html
Our Students
Course A-Z
Degrees
Online Resources & Handbooks
Minerva
Examinations
Timetables
Back to Top