nLab
Cesare Gallozzi

wrote a thesis on weak Tarskian type universes in homotopy type theory:

category: people

Last revised on November 21, 2014 at 15:49:17. See the history of this page for a list of all contributions to it.