théorie des types homotopiques

concept théorie des types comprenant l'axiome d'univalence de Voïevodski