Le moteur de recherche
des thèses françaises
Ugo Dal Lago
IdRefMots clés
FR |
EN
Lambda-calcul
Logique linéaire
Sémantique dénotationnelle
Logique de seuil
Systèmes de types
Types intersection
Complexité implicite
Sémantique des jeux
Concurrence
Structures d’évènements
Modèles mémoires faibles
Lambda-Calcul
Normes
Types intersections
Computations probabilistes d'ordre supérieur
Bisimulation applicative
Espaces cohérents probabilistes
Distances entre programmes
Langages de programmation -- Sémantique
Logique mathématique