Paul-André Melliès
IdRefMots clés
FR |
EN
Catégories (mathématiques)
Théorie des types
Logique mathématique
Dualité de Stone
Monoïdes
Logique informatique
Lambda-calcul
Sémantique selon la théorie des jeux
Théorie de la démonstration
Homotopie
Langages de programmation -- Sémantique
Logique catégorique
Espaces compacts
Théorie des catégories
Sémantique
Fibrations (mathématiques)
Théorie de l'homotopie
Modèles mathématiques
Langages de programmation
Catégories finies