The following pages link to Parametric corecursion (Q5941163):
Displayed 19 items.
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Recursion and corecursion have the same equational logic (Q1398467) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On coalgebra based on classes (Q1434346) (← links)
- \(p\)-adic physics, non-well-founded reality and unconventional computing (Q1760203) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Recursive coalgebras from comonads (Q2495640) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)