Pages that link to "Item:Q1330915"
From MaRDI portal
The following pages link to Banach's fixed-point theorem as a base for data-type equations (Q1330915):
Displaying 4 items.
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On final coalgebras of continuous functors (Q1398459) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Initial algebras and terminal coalgebras in many-sorted sets (Q3005994) (← links)
