Towards a noncommutative logic of effects
Noam Zeilberger ( Laboratoire PPS, Université Paris 7  Denis Diderot )

14:00 3rd December 2010 ( week 8, Michaelmas Term 2010 )Lecture Theatre B
I will present workinprogress (with Jonas Frey and PaulAndré 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, noncommutative) 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.