Publication:2849884
From MaRDI portal
zbMath1272.03157MaRDI QIDQ2849884
Publication date: 20 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000381
91A43: Games involving graphs
18C50: Categorical semantics of formal languages
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
An explicit formula for the free exponential modality of linear logic, Realizability for Peano arithmetic with winning conditions in HON games, Resource modalities in tensor logic, Linear logic in computer science, Asynchronous games. II: The true concurrency of innocence, Understanding Game Semantics Through Coherence Spaces, Bialgebras in Rel