The following pages link to A small final coalgebra theorem (Q1575951):
Displayed 7 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- On tree coalgebras and coalgebra presentations (Q1884936) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)