BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Daniel Ventura (Universidade Federal de Goiás\, Brazil)
DTSTART:20210624T170000Z
DTEND:20210624T180000Z
DTSTAMP:20260423T035459Z
UID:LoReL/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LoReL/6/">Sk
 eletons Out! The Spirit of Node Replication</a>\nby Daniel Ventura (Univer
 sidade Federal de Goiás\, Brazil) as part of LoReL Seminar\n\n\nAbstract\
 n(joint work with Delia Kesner and Loïc Peyrot)\n\nIn this talk we introd
 uce a term calculus implementing higher-order node replication\, where sub
 stitution of terms are executed constructor by constructor. Besides implem
 enting the full node replication\, two evaluation strategies are considere
 d --call-by-name and fully lazy call-by-need-- based on the key notion of 
 skeleton\, with skeleton extraction internally codified in the calculus. O
 bservational equivalence between strategies is proved through a standard n
 on-idempotent intersection type system.\n
LOCATION:https://researchseminars.org/talk/LoReL/6/
END:VEVENT
END:VCALENDAR