scientific article; zbMATH DE number 1497810

zbMath0959.03507MaRDI QIDQ4499228

J. M. E. Hyland, Andrea Schalk

Publication date: 4 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

category of abstract games

Mathematics Subject Classification ID

Games involving graphs (91A43) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Monoidal reverse differential categories ⋮ Comparing hierarchies of types in models of linear logic ⋮ Understanding Game Semantics Through Coherence Spaces ⋮ Representable Markov categories and comparison of statistical experiments in categorical probability ⋮ Glueing and orthogonality for models of linear logic ⋮ Unnamed Item ⋮ Relating categorical semantics for intuitionistic linear logic ⋮ Monoidal-closed categories of tree automata ⋮ Poset-valued sets or how to build models for linear logics