Preface: Special Issue on Homotopy Type Theory and Univalent Foundations
Domaines
Catégories et ensembles [math.CT]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...