Pages that link to "Item:Q1936110"
From MaRDI portal
The following pages link to Simple free star-autonomous categories and full coherence (Q1936110):
Displaying 11 items.
- On cyclic star-autonomous categories (Q456839) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- (Q4993336) (← links)
- (Q5014808) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5137919) (← links)
- (Q5227516) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)
