Fixed points of contractive maps on dcpo's

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

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