scientific article; zbMATH DE number 1555177
From MaRDI portal
Publication:4525275
zbMath0953.03066arXivmath/9310211MaRDI QIDQ4525275
Publication date: 22 January 2001
Full work available at URL: https://arxiv.org/abs/math/9310211
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
This page was built for publication: