University of Cambridge > Talks.cam > Microsoft Research Cambridge, public talks > Towards a Non-Commutative Logic of Effects,

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Towards a Non-Commutative Logic of Effects,

Download to your calendar using vCal

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:

Note that ex-directory lists are not shown.

Other lists

The Garden Room, Library Building, St Edmund's College Ryle Seminar Room + Zoom Cambridge ESRC DTP Annual Lecture

Other talks

Peri-Operative Medicine, and Obstetrics and Gynaecology Title to be confirmed John Kendrew Lecture - Title TBC Title to be confirmed The Play Paradox: How video games build better humans Tea and Coffee Break
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity