théorie des types homotopiques (Q5891840)
Aller à la navigation
Aller à la recherche
Variante de la théorie des types comprenant l'axiome d'univalence de Voevodosky
| Langue | Libellé | Description | Également connu comme |
|---|---|---|---|
| français | théorie des types homotopiques |
Variante de la théorie des types comprenant l'axiome d'univalence de Voevodosky |
|
| anglais | homotopy type theory |
variant of type theory incorporating the univalence axiom of Voevodsky |
|
Déclarations
HoTT (anglais)
0 référence
Homotopy type theory
0 référence
Identifiants
1 référence
Liens de site
Wikipédia(7 entrées)
- dewiki Homotopietypentheorie
- enwiki Homotopy type theory
- eswiki Teoría de tipos homotópica
- frwiki Théorie des types homotopiques
- ruwiki Гомотопическая теория типов
- viwiki Lý thuyết hình thái đồng luân
- zhwiki 同伦类型论
Wikilivres(0 entrée)
Wikinews(0 entrée)
Wikiquote(0 entrée)
Wikisource(0 entrée)
Wikiversité(0 entrée)
Wikivoyage(0 entrée)
Wiktionnaire(0 entrée)
Autres sites(1 entrée)
- commonswiki Category:Homotopy type theory