Computer Science Logic

DOI10.1007/b100120zbMath1095.03072OpenAlexW2481899496MaRDI QIDQ5311252

Lutz Straßburger, François Lamarche

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items

Proof Nets, Coends and the Yoneda Isomorphism, Simple free star-autonomous categories and full coherence, Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic, Deep inference and expansion trees for second-order multiplicative linear logic, Proof diagrams for multiplicative linear logic: syntax and semantics