Pages that link to "Item:Q4715669"
From MaRDI portal
The following pages link to ! and ? – Storage as tensorial strength (Q4715669):
Displaying 4 items.
- Categories for computation in context and unified logic (Q678833) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
