Globular weak ω-categories as models of a type theory
Domaines
Catégories et ensembles [math.CT]
Origine : Fichiers produits par l'(les) auteur(s)