Pages that link to "Item:Q1147133"
From MaRDI portal
The following pages link to Closed categories and the theory of proofs (Q1147133):
Displayed 7 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Developing developments (Q1392147) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)