Publication:4525275

zbMath0953.03066arXivmath/9310211MaRDI QIDQ4525275

Andreas Blass

Publication date: 22 January 2001

Full work available at URL: https://arxiv.org/abs/math/9310211

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Related Items

Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules