The following pages link to (Q3413926):
Displaying 6 items.
- On cyclic star-autonomous categories (Q456839) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)