BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards a Non-Commutative Logic of Effects\, - Noam Zeilberger
DTSTART:20101202T110000Z
DTEND:20101202T120000Z
UID:TALK28179@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:I will present work-in-progress (with Jonas Frey and Paul-Andr
 é Melliès) aimed at establishing closer links between the theory of comp
 utational effects and linear logic in the broad sense. Starting from an an
 alogy between polarity and "Isbell duality"\, I will describe a new catego
 rical interpretation of (polarized\, non-commutative) linear logic\, and s
 uggest its potential applications for describing and reasoning about progr
 ams with side effects. In particular\, I will consider as a case study Rey
 nolds' equation "intvar = intexp & intacc"\, defining an integer variable 
 (in the Forsythe language) as the intersection of an integer expression an
 d an integer acceptor.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR