Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Our Students
  3. Online Resources & Handbooks
  4. Student projects - Types, Proofs and Categorical Logic

Types, Proofs and Categorical Logic

Supervisor

Personal photo - Luke Ong Luke Ong

Suitable for

MSc in Computer Science

Abstract

Dr Ong is willing to supervise projects in this area.

Our Students

Back to Top