Homology of proof-nets

DOI10.1007/BF01203031zbMath0795.03077OpenAlexW2052249237MaRDI QIDQ1330310

François Métayer

Publication date: 20 September 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01203031

zbMATH Keywords

correctnesshomology groupsmultiplicative linear logicproof-netssequentializationabstract proof-structuresgeometrical interpretation of linear connectivespaired-graphs

Mathematics Subject Classification ID

Structure of proofs (03F07)

Related Items

The additive multiboxes

Cites Work

• Linear logic
• Unnamed Item