The following pages link to Traced Premonoidal Categories (Q4460686):
Displaying 15 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- Von Neumann categories (Q748710) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Duality and traces for indexed monoidal categories (Q2847338) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- A Semantical Approach to Equilibria and Rationality (Q2888496) (← links)
- Categorifying Computations into Components via Arrows as Profunctors (Q2919448) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Categorical semantics for arrows (Q3638922) (← links)
- Semantics of value recursion for Monadic Input/Output (Q4787832) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
