Tag Archives: Dialog games

20/03/2014 – Talk by Paul-Andre Mellies

Title:  The free dialogue category with sums: an algebraic approach to game semantics
Time: 13:00
Location: Meeting room
Type: Research Result
Speaker: Paul-Andre Mellies (CNRS, Paris Diderot))
In this talk, I will give a direct combinatorial description of the free dialogue category with sums
as a category with dialogue games as objects and with innocent strategies as morphisms.
I will then explain how to apply this result in order to construct a functor from the category
of dialogue games and innocent strategies to the category of coherence spaces and cliques.
One obtains in this way another proof of the positionality theorem of innocent strategies,
which establishes moreover that the halting positions of an innocent strategy form a clique.