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:420@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141023T110000
DTEND;TZID=Europe/Paris:20141023T120000
DTSTAMP:20141008T090000Z
URL:https://www.i2m.univ-amu.fr/evenements/geometry-of-resource-interactio
 n-a-minimalist-approach/
SUMMARY: (...): Geometry of resource interaction – A minimalist approach
DESCRIPTION:: The Resource λ-calculus (RC) is a variation of the λ-calcul
 us where arguments can be superposed and must be linearly used\, and where
  reduction introduces formal sums on terms. Hence it is a model for non-de
 terministic and linear programming languages. But RC is also the target la
 nguage of Taylor-Ehrhard expansion of λ-terms\, a linearisation of the us
 age of arguments. In a strictly typed restriction of RC\, we study the not
 ion of paths on proof-nets and the property of persistency. We define a Ge
 ometry of Interaction (GoI) that is invariant under reduction\, consequent
 ly characterises path persistency\, and also accurately counts the number 
 of addends being superposed in normal forms. This work intend to be the fi
 rst step toward an higher destination: understanding and explicitly descri
 bing the relation between expansion and GoI.Webpage
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