Pages that link to "Item:Q2919453"
From MaRDI portal
The following pages link to From Coalgebraic to Monoidal Traces (Q2919453):
Displaying 6 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Effectuses from monads (Q1744385) (← links)
- Traces for coalgebraic components (Q3005989) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
