Two-dimensional proof-structures and the exchange rule

From MaRDI portal

Revision as of 05:28, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4463990

Jump to:navigation, search

DOI10.1017/S0960129503004092zbMath1053.03035MaRDI QIDQ4463990

Christophe Gaubert

Publication date: 27 May 2004

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

zbMATH Keywords

surface linear logic proof structure decorated sequent calculus exchange rule

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: Two-dimensional proof-structures and the exchange rule

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4463990&oldid=18526493"