Le moteur de recherche
des thèses françaises
Samuel Mimram
IdRefMots clés
FR |
EN
Catégories supérieures
Catégories (mathématiques)
Sémantique
Théorie des types
Homotopie
Théorie des catégories
Réécriture
Problème du mot
Logique de seuil
Concurrence
Logique monadique du second-ordre
Théorie de la démonstration
Topologie
Théorie des types homotopiques
Algèbre linéaire
Sémantique selon la théorie des jeux
Monoïdes plaxiques
Problème des syzygies
Présentations convergentes
Présentations cohérentes