A graphical foundation for interleaving in game semantics
From MaRDI portal
Publication:479313
DOI10.1016/j.jpaa.2014.05.040zbMath1309.68126OpenAlexW2023384683MaRDI QIDQ479313
Guy McCusker, Cai Wingfield, A. John Power
Publication date: 5 December 2014
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: http://opus.bath.ac.uk/37955/1/graphical_schedules.pdf
Games involving graphs (91A43) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Games on graphs (graph-theoretic aspects) (05C57)
Cites Work
- Totality in arena games
- The geometry of tensor calculus. I
- Braided tensor categories
- Tortile tensor categories
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Polarized games
- Game Semantics in String Diagrams
- Physics, Topology, Logic and Computation: A Rosetta Stone
- A Survey of Graphical Languages for Monoidal Categories
- Compact Monoidal Categories from Linguistics to Physics
- A Graphical Foundation for Schedules
- Normalisation Control in Deep Inference via Atomic Flows
- Functorial Boxes in String Diagrams
- The Anatomy of Innocence Revisited
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A graphical foundation for interleaving in game semantics