Jordan Barrett

Doktorand, avdelningen för Computing Science, Institutionen för data- och informationsteknik

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

Sidansvarig Publicerad: on 15 dec 2021.