BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Beniamino Accattoli (Inria\, France)
DTSTART:20210422T170000Z
DTEND:20210422T180000Z
DTSTAMP:20260423T035459Z
UID:LoReL/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LoReL/1/">Th
 e Machinery of Interaction</a>\nby Beniamino Accattoli (Inria\, France) as
  part of LoReL Seminar\n\n\nAbstract\nGirard's geometry of interaction sug
 gests an unusual way of evaluating lambda terms\, the interaction abstract
  machine (IAM)\, first studied by Mackie and Danos & Regnier in the nineti
 es\, using linear logic proof nets. In particular\, the IAM does not use e
 nvironments\, in contrast to the mainstream approach to abstract machines.
  In this talk I shall give a slow paced introduction to the IAM\, using an
  alternative presentation based on ordinary lambda terms. If time permits\
 , I shall also discuss how to measure the time and space consumptions of t
 he IAM via multi types. This talk is an overview of joint works with Ugo D
 al Lago and Gabriele Vanoni.\n
LOCATION:https://researchseminars.org/talk/LoReL/1/
END:VEVENT
END:VCALENDAR