Implicit exchange in multiplicative proofnets

DOI10.1017/S0960129500003285zbMath1025.03068OpenAlexW2112006953MaRDI QIDQ2719797

François Métayer

Publication date: 17 July 2001

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

Full work available at URL: https://doi.org/10.1017/s0960129500003285

zbMATH Keywords

homologymultiplicative linear logicmultiplicative proofnetnumber of exchange rulesproof structure

Mathematics Subject Classification ID

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

Related Items (2)

Rewriting systems for the surface classification theorem ⋮ A geometrical procedure for computing relaxation

This page was built for publication: Implicit exchange in multiplicative proofnets