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

Luke Ong

Suitable for

MSc in Computer Science

Abstract

Dr Ong is willing to supervise projects in this area.

Our Students

Back to Top