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