Banach's Fixed-Point Theorem as a base for data-type equations

Jirí Adámek, Jan Reiterman. Banach's Fixed-Point Theorem as a base for data-type equations. Applied Categorical Structures, 2(1):77-90, 1994. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.