Christine Tasson
Mots clés
FR |
EN
Logique de seuil
Lambda-calcul
Sémantique dénotationnelle
Logique linéaire
Théorie de la démonstration
Point fixe, Théorème du
Modalité (logique)
Langages de programmation -- Sémantique
Réseaux de preuve
Probabilités
Logique mathématique
Topologie
Concurrence
Programmation Quantique
Sémantique des Jeux
Sémantique Dénotationnelle
Théorie des Catégories
Sémantique selon la théorie des jeux
Types intersections
Espace compact Hausdorff