Le moteur de recherche
des thèses françaises
Sylvain Salvati
IdRefMots clés
FR |
EN
Lambda-calcul
Langages formels
Langages réguliers
Théorie des machines séquentielles
Logique
Transducteurs
Semigroupes
Catégories cartésiennes fermées
Sémantique dénotationnelle du lambda-Calcul
Automates d'ordre supérieur
Dualité de Stone
Monoïdes profinis
Fibrations
Paramétricité
Théorie des automates mathématiques
Fibrations (mathématiques)
Catégories (mathématiques)
Linguistique formelle
Analyse et génération de langage
Datalog