BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//6.4.6.4.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:3421@test.i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141023T110000
DTEND;TZID=Europe/Paris:20141023T120000
DTSTAMP:20141008T090000Z
URL:https://test.i2m.univ-amu.fr/events/geometry-of-resource-interaction-a
-minimalist-approach/
SUMMARY:Geometry of resource interaction – A minimalist approach -
DESCRIPTION:The Resource λ-calculus (RC) is a variation of the λ-calculus
where arguments can be superposed and must be linearly used\, and where r
eduction introduces formal sums on terms. Hence it is a model for non-dete
rministic and linear programming languages. But RC is also the target lang
uage of Taylor-Ehrhard expansion of λ-terms\, a linearisation of the usag
e of arguments. In a strictly typed restriction of RC\, we study the notio
n of paths on proof-nets and the property of persistency. We define a Geom
etry of Interaction (GoI) that is invariant under reduction\, consequently
characterises path persistency\, and also accurately counts the number of
addends being superposed in normal forms. This work intend to be the firs
t step toward an higher destination: understanding and explicitly describi
ng 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