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 LogicAdd 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. |
## Other listsComputer Science Lunch Time Talk Series Beverley Glover EPS - College Research and KT Support Activities## Other talksHunt for an Earth-twin Wave turbulence in the SchrÃ¶dinger-Helmholtz equation Quantum Sensing in Space TBA Control variates for computing transport coefficients Ultrafast Spectroscopy and Microscopy as probes of Energy Materials |