Pages that link to "Item:Q5275353"
From MaRDI portal
The following pages link to Final Coalgebras from Corecursive Algebras. (Q5275353):
Displaying 10 items.
- Coalgebraic logics \& duality (Q1798781) (← links)
- Steps and traces (Q1798791) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- (Q2769437) (← links)
- Continuous functions on final coalgebras (Q2805147) (← links)
- Recursive coalgebras of finitary functors (Q3512598) (← links)
- Final Coalgebras are Ideal Completions of Initial Algebras (Q4542236) (← links)
- Final Dialgebras: From Categories to Allegories (Q4943551) (← links)
- A concrete final coalgebra theorem for ZF set theory (Q6061877) (← links)