Globular weak ω-categories as models of a type theory
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-04337467
Soumis le : mercredi 13 décembre 2023-16:20:28
Dernière modification le : mercredi 21 janvier 2026-03:38:02