Pages that link to "Item:Q4917030"
From MaRDI portal
The following pages link to A Coalgebraic View of Infinite Trees and Iteration (Q4917030):
Displaying 17 items.
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← 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)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- (Q3121528) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
