The following pages link to Generalizing Substitution (Q4460688):
Displayed 16 items.
- The coinductive resumption monad (Q283770) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Higher-order Algebras and Coalgebras from Parameterized Endofunctors (Q2919455) (← links)
- Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- (Q4585073) (← links)
- The parametric continuation monad (Q5269001) (← links)
- (Q5274901) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)