Jordan Barrett

Doctoral student, Logic and Types 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 10 Nov 2021.