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:8552@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250123T110000
DTEND;TZID=Europe/Paris:20250123T123000
DTSTAMP:20250207T083721Z
URL:https://www.i2m.univ-amu.fr/evenements/le-%ce%bb-calcul-est-quantifiab
 le/
SUMMARY:Valentin Maestracci (I2M\, Aix-Marseille Université): Le λ-calcul
  est quantifiable
DESCRIPTION:Valentin Maestracci: Sur la base de l’article The Lambda Calc
 ulus is Quantifiable à CSL 2025 avec Paolo Pistone :\n\nWe introduce seve
 ral quantitative methods for the lambda-calculus based on partial metrics\
 , a well-studied variant of standard metric spaces that have been used to 
 metrize non-Hausdorff topologies\, like those arising from Scott domains. 
 First\, we study quantitative variants\, based on program distances\, of s
 ensible equational theories for the λ-calculus\, like those arising from 
 Böhm trees and from the contextual preorder. Then\, we introduce applicat
 ive distances capturing higher-order Scott topologies\, including reflexiv
 e objects like the D∞ model. Finally\, we provide a quantitative insight
  on the well-known connection between the Böhm tree of a λ-term and its 
 Taylor expansion\, by showing that the latter can be presented as an isome
 tric transformation.\n\n&nbsp\;
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR