BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8033@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150625T110000
DTEND;TZID=Europe/Paris:20150625T120000
DTSTAMP:20241120T205632Z
URL:https://www.i2m.univ-amu.fr/evenements/un-resultat-de-full-abstraction
 -pour-les-arbres-de-bohm-du-lambda-calcul-probabiliste/
SUMMARY:Thomas Leventis (I2M\, Aix-Marseille Université): Un résultat de 
 full-abstraction pour les arbres de Böhm du lambda-calcul probabiliste
DESCRIPTION:Thomas Leventis: L'étude du lambda-calcul probabiliste est hab
 ituellement 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öh
 m probabilistes avec des propriétés similaires à celles de arbres de B
 öhm: ils forment un modèle fully-abstract\, qui correspond à la théori
 e extensionnelle sensée maximum du calcul.\nhttps://www.irif.fr/~leventis
 /
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 015/06/Thomas_Leventis.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR