Daniela Petrisan
IdRefMots clés
FR |
EN
Langages de programmation -- Sémantique
Lambda-calcul
Langages de programmation
Logique informatique
Algèbre de relations
Algèbre de Kleene
Expressions régulières
Langages formels
Théorie des automates
Sémantique des programmes
Preuve assistée par ordinateur
Assistants de preuve
Théorie des automates mathématiques
Dualité de Stone
Théorie des langages
Algèbre profinie
Monade de codensité
Interpolation uniforme
Théorème de l’application ouverte
Pretopos