Chantal Berline
IdRefMots clés
FR
Mathématiques
Informatique
Automatique théorique
Systèmes
Théorie équationnelle
Lambda calcul
Sémantique dénotationnelle
Sémantique opérationnelle
Stabilité
Equational theory
Lambda calculus
Denotational semantic
Operational semantic
Stability
Map theory
Antifondation
Coinduction
Lambda-calcul non-typé
Théories des ensembles
Sémantique kappa-continue