Skip to main content

Types, Proofs and Categorical Logic

Supervisor

Suitable for

MSc in Computer Science

Abstract

Dr Ong is willing to supervise projects in this area.