Jordan Barrett

Doktorand, avdelningen för Logik och typer, 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 10 nov 2021.