An algebraic correctness criterion for intuitionistic multiplicative proof-nets
From MaRDI portal
Publication:1960420
DOI10.1016/S0304-3975(98)00309-0zbMath0930.03094MaRDI QIDQ1960420
Publication date: 12 January 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (1)
Cites Work
This page was built for publication: An algebraic correctness criterion for intuitionistic multiplicative proof-nets