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

Carte non disponible

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

Catégories Pas de Catégories


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.

Webpage“>Webpage

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange