The following pages link to Realization of Coinductive Types (Q5739360):
Displaying 5 items.
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- New (Q3178271) (← links)
- (Q5002798) (← links)
- Well-founded coalgebras, revisited (Q5361146) (← links)
