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
Lambda-calcul
Logique mathématique
Logique informatique
Théorie de la démonstration
Homotopie
Théorie des catégories
Sémantique selon la théorie des jeux
Fibrations (mathématiques)
Langages de programmation -- Sémantique
Logique catégorique
Modèles mathématiques
Espaces compacts
Sémantique
Monoïdes profinis
Topos (mathématiques)
Théorie de l'homotopie