Pages that link to "Item:Q803265"
From MaRDI portal
The following pages link to The structure of free closed categories (Q803265):
Displaying 8 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
