scientific article
From MaRDI portal
Publication:2958523
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
Unnamed Item ⋮ Explorations in Subexponential Non-associative Non-commutative Linear Logic ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Non-associative, non-commutative multi-modal linear logic
This page was built for publication:
