A characterization of distance between 1-bounded compact ultrametric spaces through a universal space
From MaRDI portal
Publication:1127530
DOI10.1016/S0304-3975(96)00335-0zbMath0908.68099MaRDI QIDQ1127530
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Elements of generalized ultrametric domain theory
- A fixed-point theorem in a category of compact metric spaces
- Solving reflexive domain equations in a category of complete metric spaces
- The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
- Towards a foundation for semantics in complete metric spaces
- The Category-Theoretic Solution of Recursive Domain Equations
- Processes and hyperuniverses