Un résultat de full-abstraction pour les arbres de Böhm du lambda-calcul probabiliste

Thomas Leventis
I2M, Aix-Marseille Université
/user/thomas.leventis/

Date(s) : 25/06/2015   iCal
11 h 00 min - 12 h 00 min

L’étude du lambda-calcul probabiliste est habituellement restreinte à des stratégies de réductions limitées. Notre objectif est d’étudier le calcul obtenu en ôtant toute contrainte sur la beta-réduction. Cela permet de retrouver un certain nombre de notions du lambda-calcul usuel. En particulier il existe une notion d’arbres de Böhm probabilistes avec des propriétés similaires à celles de arbres de Böhm: ils forment un modèle fully-abstract, qui correspond à la théorie extensionnelle sensée maximum du calcul.

https://www.irif.fr/~leventis/

Catégories



Retour en haut 

Secured By miniOrange