Pages that link to "Item:Q1399957"

The following pages link to Infinite trees and completely iterative theories: A coalgebraic view (Q1399957):

Displaying 34 items.

• Monads for behaviour (Q265824) (← links)
• 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)
• Corrigendum to: ``The category theoretic solution of recursive program schemes'' [Theoret. Comput. Sci. 366 (2006) 3-59] (Q944390) (← links)
• On coalgebra based on classes (Q1434346) (← links)
• On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
• Iteration and labelled iteration (Q1744383) (← links)
• Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
• Completely iterative algebras and completely iterative monads (Q1767976) (← links)
• Algebraic presentation of semifree monads (Q2104481) (← links)
• A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
• Base modules for parametrized iterativity (Q2435311) (← 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)
• A New Foundation for Finitary Corecursion (Q2811335) (← links)
• Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors (Q2842550) (← links)
• On Iteratable Endofunctors (Q2842827) (← links)
• Comonadic Notions of Computation (Q2873672) (← links)
• Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
• Higher-order Algebras and Coalgebras from Parameterized Endofunctors (Q2919455) (← links)
• Unifying Guarded and Unguarded Iteration (Q2988389) (← links)
• Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
• Final coalgebras in accessible categories (Q3094168) (← links)
• (Q3121528) (← links)
• The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
• Coproducts of Ideal Monads (Q4659887) (← links)
• The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
• Unguarded recursion on coinductive resumptions (Q5971399) (← links)