The following pages link to (Q4735315):
Displayed 23 items.
- A mathematical theory of resources (Q320201) (← links)
- Graphs of plural cuts (Q383359) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- A note on natural numbers objects in monoidal categories (Q749645) (← links)
- The structure of free closed categories (Q803265) (← links)
- An abstract framework for environment machines (Q804281) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Representable multicategories (Q1570232) (← links)
- On weak higher dimensional categories. I: Part 1 (Q1588075) (← links)
- Metric, topology and multicategory -- a common approach (Q1869194) (← links)
- Lawvere theories, finitary monads and Cauchy-completion (Q2451739) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- (Q3495524) (← links)
- (Q4344804) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
- Graded multicategories of polynomial-time realizers (Q5096260) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- On weak higher-dimensional categories. I. 2 (Q5931436) (← links)