University of Birmingham > Talks@bham > Theoretical computer science seminar > Understanding Game Semantics through Coherence Spaces

Understanding Game Semantics through Coherence Spaces

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

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.

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.