Understanding Game Semantics through Coherence Spaces

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

• Ana Calderon, University of Bath
• Friday 27 August 2010, 14:00-15:00
• UG40 Computer Science.

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

Game Semantics is a flexible and accurate way to give semantics to a programming language, however its underlying mathematics is awkward. For example, the proofs that strategies compose associatively and maintain properties imposed on them such as innocence are intricate and require a lot of attention. The work presented at this talk is part of a body of work aimed at understanding Game Semantics at a more abstract level. Our contribution is the existence of a full symmetric monoidal embedding of a category of games into a category whose maps are given by relations. This work is joint with Guy McCusker.

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.