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:8400@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140409T140000
DTEND;TZID=Europe/Paris:20140409T150000
DTSTAMP:20241120T210401Z
URL:https://www.i2m.univ-amu.fr/evenements/type-theory-modulo-isomorphisms
 /
SUMMARY:Alejandro Díaz-Caro (INRIA Rocquencourt & Paris Ouest): Type theor
 y modulo isomorphisms
DESCRIPTION:Alejandro Díaz-Caro: We defined a typed lambda-calculus where 
 the isomorphisms between types are raised to the level of an equality rela
 tion. To this end\, an equivalence relation is settled at the term level. 
 We provide a proof of strong normalisation modulo such an equivalence\, wh
 ich is a non-trivial adaptation of the reducibility method. This work open
 s several paths for future work\, which I will try to detail in this talk.
 \n\nhttps://who.rocq.inria.fr/Alejandro.Diaz-Caro/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Alejandro_Diaz-Caro.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20140330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR