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:7527@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170615T110000
DTEND;TZID=Europe/Paris:20170615T120000
DTSTAMP:20241120T204358Z
URL:https://www.i2m.univ-amu.fr/evenements/linear-approximations-fibration
 s-intersection-types/
SUMMARY:Luc Pellissier (LIPN\, Université Paris 13): Linear approximations
 \, fibrations\, intersection types
DESCRIPTION:Luc Pellissier: We investigate intersection types from the “t
 ype systems as functors” viewpoint\, as recently given by Melliès and Z
 eilberger. After recasting type-theoretic notions such as subject reductio
 n and subject expansion in functorial terms\, we will give an intersection
  type system for linear logic (deriving from the fact that propositional l
 inear logic is aproximated by its multiplicative fragment). Pulling back t
 his intersection type system along translations of embeddings of a term la
 nguage into linear logic gives a corresponding intersection type system. W
 e discuss several instances of this general construction\, recovering know
 n systems and their usual properties.\nJoint work with Damiano Mazza and P
 ierre Vial.\n\nhttps://lipn.univ-paris13.fr/~pellissier/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Luc_Pellissier.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR