Compressing polarized boxes

DOI10.1109/LICS.2013.49MaRDI QIDQ5271080zbMATH OpenOpenAlexFDO

Authors Beniamino Accattoli

Publication date 3 July 2017

Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2013.49

zbMATH Keywords

confluencecorrectness criteriacut-eliminationlinear logicpolarityproof netstermination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 1342282
• scientific article; zbMATH DE number 937366
• The additive multiboxes
• scientific article; zbMATH DE number 2134916
• Jumping Boxes

Cited in

(1)

• Jumping Boxes

This page was built for publication: Compressing polarized boxes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5271080)