The following pages link to Generalizing Substitution (Q4460688):
Displayed 6 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Algebras with parametrized iterativity (Q2464938) (← links)
- Higher-order Algebras and Coalgebras from Parameterized Endofunctors (Q2919455) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Monadic augment and generalised short cut fusion (Q5428372) (← links)