Résumé
Le sixième séminaire a étudié les langages probabilistes. Il s’agit de langages fonctionnels simples comme PCF auxquels on ajoute de l’aléatoire, par exemple une primitive qui s’évalue en 0 avec probabilité ½ et en 1 avec probabilité ½. Ces langages servent notamment à l’étude de l’inférence Bayésienne. La conférencière a développé des sémantiques dénotationnelles pour le langage PCF probabiliste utilisant des espaces cohérents probabilistes. Elle a dégagé des liens avec la logique linéaire et notamment son fragment semi-polarisé, qui correspond, au sens de Curry-Howard, au calcul call-by-push-value de Levy.
