BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Syntax and Handlers for Operations with Scopes - Maciej Piróg
DTSTART:20170602T130000Z
DTEND:20170602T140000Z
UID:TALK72606@talks.cam.ac.uk
CONTACT:Dominic Mulligan
DESCRIPTION:We propose a model of syntax with scoped operations\, which ar
 e\nrelevant to calculi with algebraic operations and handlers. A scoped\no
 peration (such as "catch" used to handle exceptions) encompasses\npieces o
 f syntax that\, unlike arguments of algebraic operations\, do\nnot commute
  with global substitution. In this setting\, a handler can\nbe understood 
 as an interpretation of a scoped operation. We propose\ntwo equivalent cat
 egorical models. One arises from the initial-algebra\nsemantics in the cat
 egory of endofunctors\, generalising Ghani et al.'s\nmonad of explicit sub
 stitutions\, while the other arises from algebras\nover a category of inde
 xed objects\, in the style of Fiore et 's\nformalisation of syntax with bi
 nders using algebras over presheaves.\n\nJoint work with Tom Schrijvers\, 
 Nicolas Wu\, and Mauro Jaskelioff.
LOCATION:FW26
END:VEVENT
END:VCALENDAR