Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

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


Secured By miniOrange