The following pages link to (Q3138536):
Displayed 19 items.
- Weakly distributive categories (Q674463) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Dendriform algebras relative to a semigroup (Q784864) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Full intuitionistic linear logic (Q1314646) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Constructing process categories (Q1391863) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- A monadic approach to polycategories (Q2842822) (← links)
- (Q4222859) (← links)
- Dwyer–Kan homotopy theory for cyclic operads (Q4993989) (← links)
- Type Similarity for the Lambek-Grishin Calculus Revisited (Q5414956) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- Proof theory in the abstract (Q5957852) (← links)