Pages that link to "Item:Q757581"
From MaRDI portal
The following pages link to On the conditions of full coherence in closed categories (Q757581):
Displaying 8 items.
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- (Q4585075) (← links)
- Reductions in Intuitionistic Linear Logic (Q4882488) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
