Le moteur de recherche
des thèses françaises
Samuel Mimram
IdRefMots clés
FR |
EN
Catégories supérieures
Catégories (mathématiques)
Théorie des types
Sémantique
Homotopie
Théorie des catégories
Réécriture
Problème du mot
Concurrence
Logique monadique du second-ordre
Logique de seuil
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
Complétion de Squier
Complétion de Knuth–Bendix