Pages that link to "Item:Q5310668"
From MaRDI portal
The following pages link to From Proof Nets to the Free *-Autonomous Category (Q5310668):
Displaying 9 items.
- System BV is NP-complete (Q2478549) (← links)
- Generalised Proof-Nets for Compact Categories with Biproducts (Q3560838) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- (Q5227516) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Proof nets for unit-free multiplicative-additive linear logic (Q5277740) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)