Le moteur de recherche
des thèses françaises
Raphaëlle Crubillé
IdRefMots clés
FR |
EN
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
Pcf
Machines d'adressage
Monades semiring
Turing, Machines de
Théorie des automates mathématiques
Fonctions calculables -- Informatique