Proof nets and semi-star-autonomous categories
From MaRDI portal
Publication:5741579
DOI10.1017/S0960129514000395zbMATH Open1362.03052MaRDI QIDQ5741579FDOQ5741579
Recommendations
- From Proof Nets to the Free *-Autonomous Category
- Coherence of proof-net categories
- Generalised Proof-Nets for Compact Categories with Biproducts
- *-Autonomous categories and linear logic
- Proof-net categories
- Homology of proof-nets
- Proof-oriented categorical semantics
- Automating Proofs in Category Theory
- Closed categories, star-autonomy, and monoidal comonads
- A mechanically assisted constructive proof in category theory
Cites work
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- *-Autonomous categories and linear logic
- Coherence in closed categories
- Coherence of proof-net categories
- Linear logic
- Linear logic, coherence and dinaturality
- Natural deduction and coherence for weakly distributive categories
- On MacLane's conditions for coherence of natural associativities, commutativities, etc
- On closed categories of functors
- Simple free star-autonomous categories and full coherence
- The geometry of tensor calculus. I
- The structure of multiplicatives
- Weakly distributive categories
Cited in
(5)- Coherence in linear predicate logic
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- From Proof Nets to the Free *-Autonomous Category
- Generalised Proof-Nets for Compact Categories with Biproducts
- scientific article; zbMATH DE number 7204450 (Why is no real title available?)
This page was built for publication: Proof nets and semi-star-autonomous categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5741579)
