Ugo Dal Lago
IdRefMots clés
FR |
EN
Lambda-calcul
Logique de seuil
Sémantique dénotationnelle
Logique linéaire
Types intersections
Lambda-calcul probabiliste
Bisimulation
Temps polynomial
Complexité de calcul (informatique)
Sémantique opérationnelle
Computations probabilistes d'ordre supérieur
Bisimulation applicative
Espaces cohérents probabilistes
Distances entre programmes
Langages de programmation -- Sémantique
Logique mathématique
Lambda-Calcul
Systèmes de types
Types intersection
Complexité implicite