Game semantics in string diagrams

Paul-André Melliès (1)

1 PPS - Preuves, Programmes et Systèmes

A dialogue category is a symmetric monoidal category equipped with a notion of tensorial negation. We establish that the free dialogue category is a category of dialogue games and total innocent strategies. The connection clarifies the algebraic and logical nature of dialogue games, and their intrinsic connection to linear continuations. The proof of the statement is based on an algebraic presentation of dialogue cat- egories inspired by knot theory, and a difficult factorization theorem established by rewriting techniques.

Mots clés: Dialogue games; innocent strategies; linear con- tinuations; string diagrams; ribbon categories; coherence theorems; 2-dimensional algebra.; 2-dimensional algebra

Domaines: Logique en informatique [cs.LO]

Paul-André Melliès. Game semantics in string diagrams. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2012), Jun 2012, Dubrovnik, Croatia. ⟨hal-00721662⟩