BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Local reasoning for robust observational equivalence - Koko Muroya
DTSTART:20190912T124500Z
DTEND:20190912T134500Z
UID:TALK129964@talks.cam.ac.uk
CONTACT:Jean Pichon-Pharabod
DESCRIPTION:*Note the unusual time and day.*\nWe propose a new core calcul
 us for programming languages with effects\, interpreted using a hypergraph
 -rewriting abstract machine inspired by the Geometry of Interaction. The i
 ntrinsic calculus syntax and semantics only deal with the basic structural
  aspects of programming languages: variable binding\, name binding\, and t
 hunking. Everything else\, including features which are commonly thought o
 f as intrinsic\, such as arithmetic or function abstraction and applicatio
 n\, must be provided as extrinsic operations\, with associated rewrite rul
 es. The graph representation yields natural concepts of locality and robus
 tness for equational properties and reduction rules\, which enable a novel
  flexible and powerful reasoning methodology about (type-free) languages w
 ith effects. We illustrate and motivate the technique with challenging exa
 mples from the literature.\n(This is joint work with Dan R. Ghica and Todd
  Waugh Ambridge.)
LOCATION:FW26
END:VEVENT
END:VCALENDAR