Proof nets and semi-star-autonomous categories

DOI10.1017/S0960129514000395zbMath1362.03052MaRDI QIDQ5741579

Lutz Straßburger, Willem Heijltjes

Publication date: 28 July 2016

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

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Linear logic
• Weakly distributive categories
• Linear logic, coherence and dinaturality
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• The structure of multiplicatives
• Simple free star-autonomous categories and full coherence
• Coherence in closed categories
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• *-Autonomous categories and linear logic
• Coherence of proof-net categories
• On closed categories of functors

This page was built for publication: Proof nets and semi-star-autonomous categories