Pages that link to "Item:Q2919453"
From MaRDI portal
The following pages link to From coalgebraic to monoidal traces (Q2919453):
Displaying 11 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Guarded traced categories (Q1652996) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Effectuses from monads (Q1744385) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- The uniformity principle on traced monoidal categories (Q2842820) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)