University of Birmingham > Talks@bham > Theoretical computer science seminar > Towards a Geometry of Interaction for Polarized Linear Logic

Towards a Geometry of Interaction for Polarized Linear Logic

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

If you have a question about this talk, please contact Paul Levy.

We survey the categorical approach to Geometry of Interaction, based on traced monoidal categories, coming from our earlier work with Abramsky and Haghverdi. Then we introduce some recent work (with M. Hamano) on categorical GoI for fragments of polarized logics. While such logics arise naturally (for example in proof search with focussing and in game semantics) we shall be interested in constructing GoI models and examining some dynamical properties of the Execution formula and its invariants, in the polarized world.

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.