The following pages link to Coproducts of Monads on Set (Q2986780):
Displaying 10 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Constructing set-operads from monoids (Q447872) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Composing monads using coproducts (Q2949200) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5101336) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Interleaving data and effects (Q5371955) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)