The following pages link to (Q2765926):
Displayed 11 items.
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- The Expression Lemma (Q3521989) (← links)
- Generalizing Substitution (Q4460688) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- Fantastic morphisms and where to find them. A guide to recursion schemes (Q6164203) (← links)