University of Oxford Department of Computer Science

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

Back to Top