Publication:2958523
From MaRDI portal
DOI10.4230/LIPIcs.CSL.2013.197zbMath1356.03103arXiv1307.0289MaRDI QIDQ2958523
Rajeev Goré, Ranald Clouston, Alwen Tiu, Jeremy E. Dawson
Publication date: 2 February 2017
Full work available at URL: https://arxiv.org/abs/1307.0289
03F05: Cut-elimination and normal-form theorems
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Unnamed Item, Explorations in Subexponential Non-associative Non-commutative Linear Logic, Non-associative, non-commutative multi-modal linear logic, Hypersequent and display calculi -- a unified perspective