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:1248@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160526T110000
DTEND;TZID=Europe/Paris:20160526T120000
DTSTAMP:20201215T134702Z
URL:https://www.i2m.univ-amu.fr/evenements/an-untyped-lambda-calculus-gene
 ralizing-call-by-name-and-call-by-value/
SUMMARY:Giulio Guerrieri (I2M\, Aix-Marseille Université): An untyped lamb
 da-calculus generalizing Call-By-Name and Call-By-Value
DESCRIPTION:Giulio Guerrieri: We introduce and study the Bang Calculus\, an
  untyped functional calculus in which the promotion operation of Linear Lo
 gic is made explicit and where application is a bilinear operation. This c
 alculus\, which can be understood as an untyped version of Call-By-Push-Va
 lue\, subsumes both Call-By-Name and Call-By-Value lambda-calculi\, factor
 izing the Girard's translations of these calculi in Linear Logic. We build
  a denotational model of the Bang Calculus based on the relational interpr
 etation of Linear Logic and prove an adequacy theorem by means of a resour
 ce Bang Calculus whose design is based on Differential Linear Logic.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Giulio_Guerrieri.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR