wrote a thesis on weak Tarki [[universes]] in [[homotopy type theory]]: * {#Gallozzi14} [[Cesare Gallozzi]], _Constructive Set Theory from a Weak Tarski Universe_, MSc thesis (2014) ([[GalloziCSTTarski.pdf:file]]) category: people