The following pages link to Combining effects: sum and tensor (Q2500483):
Displaying 10 items.
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Stream processors and comodels (Q5883748) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)
