Banach's Fixed-Point Theorem as a base for data-type equations
- 1 January 1994
- journal article
- Published by Springer Nature in Applied Categorical Structures
- Vol. 2 (1) , 77-90
- https://doi.org/10.1007/bf00878504
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Algebraic Approaches to Program SemanticsPublished by Springer Nature ,1986
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- Metric interpretations of infinite trees and semantics of non deterministic recursive programsTheoretical Computer Science, 1980
- Fixed-point constructions in order-enriched categoriesTheoretical Computer Science, 1979
- Continuous latticesLecture Notes in Mathematics, 1972