Jordan Barrett

Doctoral student, Computing Science division, Department of Computer Science and Engineering

I am a PhD student studying type theory, supervised by Thierry Coquand. Please read more at https://jmbarrett.nz/

Page manager Published: Wed 15 Dec 2021.