The following pages link to (Q3996444):
Displayed 13 items.
- On the greatest fixed point of a set functor (Q672316) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- Continuous and uniformly continuous maps of powers of metric spaces (Q1891609) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Terminal coalgebras and free iterative theories (Q2500475) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)