Théorie des Types Homotopiques
concept
théorie des types comprenant l'axiome d'univalence de Voïevodski
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Théorie_homotopique_des_types
Lien Wikidata : https://www.wikidata.org/wiki/Q5891840
