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
Point fixe, Théorème du
Probabilités
Topologie
Langages de programmation -- Sémantique
Développement de Taylor
Modalité (logique)
Concurrence
Points fixes de types
Logique Linéaire
Sémantique catégorielle
Logique informatique
Appel-par-pousse-valeur
Traitement réparti
PSPACE-Complet