The following pages link to Parametric corecursion (Q5941163):
Displayed 30 items.
- The coinductive resumption monad (Q283770) (← links)
- 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)
- On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions (Q2798773) (← links)
- Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- On Rational Monads and Free Iterative Theories (Q2842813) (← links)
- On Iteratable Endofunctors (Q2842827) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Friends with Benefits (Q2988636) (← 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)
- A Coalgebraic View of Infinite Trees and Iteration (Q4917030) (← links)
- (Q5274901) (← links)
- Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)