Fixed points of contractive maps on dcpo's
From MaRDI portal
Publication:5740348
DOI10.1017/S0960129513000017zbMath1342.68194OpenAlexW2109713095MaRDI QIDQ5740348
Eva Lowen-Colebunders, Robert Lowen, Stefan De Wachter
Publication date: 26 July 2016
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129513000017
Related Items (6)
The notion of closedness and D-connectedness in Quantale-valued approach spaces ⋮ An isomorphism of the Wallman and Čech-Stone compactifications ⋮ Supported approach spaces ⋮ Normality in terms of distances and contractions ⋮ Splitting metrics by \(T_0\)-quasi-metrics ⋮ An application of approach theory to the relative Hausdorff measure of non-compactness for the Wasserstein metric
Cites Work
- Dieudonné completion and \(PT\)-groups
- Complexity spaces as quantitative domains of computation
- Distances on probability measures and random variables
- Intrinsic approach spaces on domains
- Applications of the complexity space to the general probabilistic divide and conquer algorithms
- A computational model for metric spaces
- Approximation of metric spaces by partial metric spaces
- A characterization of partial metrizability: Domains are quantifiable.
- Quasi-metric properties of complexity spaces
- Quantitative continuous domains
- The Smyth Completion
- Partial Metric Topology
- Continuous Lattices and Domains
- A Relationship between Equilogical Spaces and Type Two Effectivity
This page was built for publication: Fixed points of contractive maps on dcpo's