The following pages link to Generalizing Substitution (Q4460688):
Displaying 24 items.
- The coinductive resumption monad (Q283770) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Term context (Q502697) (← links)
- Substitution operators (Q548122) (← 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)
- Abstract substitution in enriched categories (Q1869199) (← links)
- Point-free substitution (Q1924634) (← links)
- Base modules for parametrized iterativity (Q2435311) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q2843728) (← 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)
- (Q4472187) (← links)
- (Q4585073) (← links)
- On the Notion of Substitution (Q4821649) (← links)
- Full substitutability (Q5121487) (← 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)