The following pages link to Recursion schemes from comonads (Q2765926):
Displaying 18 items.
- Recursive constructions for large caps (Q1301684) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- Recursive proof composition from accumulation schemes (Q2119035) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← 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)
- Functional programming with apomorphisms (corecursion) (Q2718773) (← links)
- Conjugate hylomorphisms -- or: the mother of all structured recursion schemes (Q2819837) (← links)
- Simple Models for Recursive Schemes (Q2912708) (← links)
- The Expression Lemma (Q3521989) (← links)
- Generalizing Substitution (Q4460688) (← links)
- (Q4876933) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
- Some Remarks on Type Systems for Course-of-value Recursion (Q5178964) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)