Pages that link to "Item:Q2500475"
From MaRDI portal
The following pages link to Terminal coalgebras and free iterative theories (Q2500475):
Displaying 18 items.
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets (Q328657) (← links)
- How iterative reflections of monads are constructed (Q384934) (← links)
- Coequational logic for accessible functors (Q618173) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Bases for parametrized iterativity (Q1004388) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- On functors preserving coproducts and algebras with iterativity (Q1727997) (← links)
- Free-algebra functors from a coalgebraic perspective (Q2229228) (← links)
- Elgot theories: a new perspective of iteration theories (extended abstract) (Q2805168) (← links)
- On rational monads and free iterative theories (Q2842813) (← links)
- On a description of terminal coalgebras and iterative theories (Q2843717) (← links)
- Coequational logic for finitary functors (Q2873671) (← links)
- Elgot theories: a new perspective on the equational properties of iteration (Q3005993) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Iterative reflections of monads (Q3564343) (← links)
- A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) (← links)
- Free iterative theories: a coalgebraic view (Q4408807) (← links)