Towards a Non-Commutative Logic of Effects,

Add to your list(s) Download to your calendar using vCal

• Noam Zeilberger
• Thursday 02 December 2010, 11:00-12:00
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge.

If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.

I will present work-in-progress (with Jonas Frey and Paul-André Melliès) aimed at establishing closer links between the theory of computational effects and linear logic in the broad sense. Starting from an analogy between polarity and “Isbell duality”, I will describe a new categorical interpretation of (polarized, non-commutative) linear logic, and suggest its potential applications for describing and reasoning about programs with side effects. In particular, I will consider as a case study Reynolds’ equation “intvar = intexp & intacc”, defining an integer variable (in the Forsythe language) as the intersection of an integer expression and an integer acceptor.

This talk is part of the Microsoft Research Cambridge, public talks series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Guy Emerson's list
• Interested Talks
• Microsoft Research Cambridge, public talks
• Optics for the Cloud
• PMRFPS's
• School of Technology
• Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• personal list
• rp587

Note that ex-directory lists are not shown.