Le moteur de recherche
des thèses françaises
Michèle Pagani
IdRefMots clés
FR |
EN
Lambda-calcul
Logique de seuil
Langages de programmation -- Sémantique
Logique linéaire
Lambda-calcul probabiliste
Bisimulation
Temps polynomial
Complexité de calcul (informatique)
Sémantique opérationnelle
Réalisabiblité
Programmation logique
Forcing (mathématiques)
Théorie de la démonstration
Lambda-Calcul
Probabilités
Sémantique opérationelle
Standardisation
Théories équiationnelles
Arbres de Böhm
Équivalence observationelle