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
Différenciation Automatique
Cryptographie Computationnelle
Logique Linéaire
Cryptographie
Réalisabiblité
Programmation logique
Forcing (mathématiques)
Théorie de la démonstration
Lambda-Calcul
Probabilités
Sémantique opérationelle