Minimality of the correctness criterion for multiplicative proof nets

DOI10.1017/S096012959800262XzbMath0916.68096WikidataQ127516546 ScholiaQ127516546MaRDI QIDQ4236199

Denis Béchet

Publication date: 22 March 1999

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logicproof-net

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Parsing pregroup grammars and Lambek calculus using partial composition ⋮ Unnamed Item

This page was built for publication: Minimality of the correctness criterion for multiplicative proof nets