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
11h00 - 12h00
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