The following pages link to Coproducts of Ideal Monads (Q4659887):
Displaying 10 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Monads for behaviour (Q265824) (← links)
- The coinductive resumption monad (Q283770) (← links)
- On second-order iterative monads (Q639639) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Algebraic presentation of semifree monads (Q2104481) (← links)
- Recursive program schemes and context-free monads (Q2919447) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Isomorphism theorems between models of mixed choice (Q5360215) (← links)
- Interleaving data and effects (Q5371955) (← links)