Quantitative continuous domains

DOI10.1023/A:1023012924892zbMath1030.06005OpenAlexW123643795MaRDI QIDQ1811032

Paweł Waszkiewicz

Publication date: 9 June 2003

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1023012924892

zbMATH Keywords

metricScott topologymeasurementmaximal elementspartial metricquantitative domain theory

Mathematics Subject Classification ID

Complete metric spaces (54E50) Metric spaces, metrizability (54E35) Continuous lattices and posets, applications (06B35)

Related Items (29)

On the domain of formal balls of the Sorgenfrey quasi-metric space ⋮ Generalized ultrametric spaces in quantitative domain theory ⋮ Common fixed points in a partially ordered partial metric space ⋮ Common fixed-point results for nonlinear contractions in ordered partial metric spaces ⋮ A domain-theoretic approach to fuzzy metric spaces ⋮ Injective spaces via adjunction ⋮ Fixed point results for generalized cyclic contraction mappings in partial metric spaces ⋮ A generalized Meir-Keeler-type contraction on partial metric spaces ⋮ A generalized contraction principle with control functions on partial metric spaces ⋮ DS-partial metric spaces and domain theory ⋮ Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces ⋮ A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces ⋮ Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces ⋮ Intrinsic approach spaces on domains ⋮ Fixed point theorems for generalized contractions on partial metric spaces ⋮ Unnamed Item ⋮ Yoneda completion via a dcpo completion of its poset of formal balls ⋮ An application of a representation theorem for fuzzy metrics to domain theory ⋮ Domain theoretic characterisations of quasi-metric completeness in terms of formal balls ⋮ Unnamed Item ⋮ A Kirk type characterization of completeness for partial metric spaces ⋮ Complexity spaces as quantitative domains of computation ⋮ \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps ⋮ Fixed points of contractive maps on dcpo's ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ Complete partial metric spaces have partially metrizable computational models ⋮ A quantitative computational model for complete partial metric spaces via formal balls ⋮ A quasi-metric computational model from modular functions on monoids ⋮ The constructive maximal point space and partial metrizability

This page was built for publication: Quantitative continuous domains