Pages that link to "Item:Q1604796"
From MaRDI portal
The following pages link to Coherence in substructural categories (Q1604796):
Displayed 8 items.
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Monoidal Indeterminates and Categories of Possible Worlds (Q2805149) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- Coherence for monoidal endofunctors (Q3583019) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)