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