Compact Proof Certificates for Linear Logic

DOI10.1007/978-3-642-35308-6_17zbMath1383.68073OpenAlexW176871363MaRDI QIDQ4916062

Kaustuv Chaudhuri

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_17

Mathematics Subject Classification ID

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

Related Items (1)

Structural Focalization

This page was built for publication: Compact Proof Certificates for Linear Logic