Game Semantics in String Diagrams

DOI10.1109/LICS.2012.58zbMath1364.03083OpenAlexW2018240380MaRDI QIDQ2986824

Paul-André Melliès

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2012.58

zbMATH Keywords

ribbon categoriesdialogue gamesinnocent strategiescoherence theoremsstring diagramslinear continuations2-dimensional algebra

Mathematics Subject Classification ID

Applications of game theory (91A80) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (12)

Category theory, logic and formal linguistics: some connections, old and new ⋮ A Graphical Foundation for Schedules ⋮ Imperative programs as proofs via game semantics ⋮ Proof Nets, Coends and the Yoneda Isomorphism ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Unnamed Item ⋮ A graphical foundation for interleaving in game semantics ⋮ An Isbell duality theorem for type refinement systems ⋮ Dialogue Categories and Frobenius Monoids ⋮ Towards a Formal Theory of Graded Monads ⋮ Unnamed Item

This page was built for publication: Game Semantics in String Diagrams