Christine Tasson
IdRefMots clés
FR |
EN
Logique de seuil
Lambda-calcul
Sémantique dénotationnelle
Théorie de la démonstration
Logique linéaire
Réseaux de preuve
Probabilités
Point fixe, Théorème du
Modalité (logique)
Topologie
Langages de programmation -- Sémantique
Développement de Taylor
Logique mathématique
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