Peter LeFanu Lumsdaine
Mots clés
FR |
EN
Théorie homotopique des types
Théorie des catégories
Homotopie
Catégories (mathématiques)
Sémantique
Fondations univalentes
Axiome d'univalence
Catégories de modèles
Théorie de l'homotopie
Préfaisceaux
Groupoïdes
Univers
Fonctions univalentes
Théorie des types
Monades
Syntaxe
Signature
Langages de programmation -- Syntaxe
Langages de programmation -- Sémantique
Catégorie de modèles