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