The following pages link to On coalgebra based on classes (Q1434346):
Displaying 7 items.
- Relation lifting, a survey (Q299182) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Coalgebra and abstraction (Q1981994) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← links)
- Coinduction in Concurrent Timed Systems (Q2919457) (← links)
- (Q5009709) (← links)
- On Finitary Functors (Q5243045) (← links)
