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