Towards a Geometry of Interaction for Polarized Linear Logic

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

• Phil Scott, University of Ottawa
• Friday 01 July 2011, 16:00-17:00
• UG40 Computer Science.

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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• UG40 Computer Science
• computer sience

Note that ex-directory lists are not shown.