Le moteur de recherche
des thèses françaises
Samuel Mimram
IdRefMots clés
FR |
EN
Catégories (mathématiques)
Théorie des types
Catégories supérieures
Sémantique
Théorie des catégories
Concurrence
Homotopie
Réécriture
Problème du mot
Logique informatique
Logique monadique du second-ordre
Théorie des types homotopiques
Séquentialisation
Logique de seuil
Logique mathématique
Polygraphes
Réseaux de preuve
Logique
Algèbre linéaire
Sémantique selon la théorie des jeux