Le moteur de recherche
des thèses françaises
Christine Tasson
IdRefMots clés
FR |
EN |
ES
Lambda-calcul
Logique de seuil
Sémantique dénotationnelle
Logique linéaire
Théorie de la démonstration
Logique mathématique
Langages de programmation -- Sémantique
Théorème du point fixe
Modalité (logique)
Réseaux de preuve
Sémantique
Probabilités
Langages de programmation fonctionnelle
Développement de Taylor
Logiciels -- Vérification
Logique Linéaire
Logique informatique
Coinduction
Séries de Taylor
Topologie