Quantitative continuous domains

DOI10.1023/A:1023012924892MaRDI QIDQ1811032zbMATH OpenOpenAlexFDO

Authors 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

measurementmetricpartial metricmaximal elementsScott topologyquantitative domain theory

Mathematics Subject Classification ID

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

Recommendations

• Partial metrisability of continuous posets
• Distance and measurement in domain theory
• A characterization of partial metrizability: Domains are quantifiable.
• Fundamentals of Computation Theory
• Partial metric monoids and semivaluation spaces

Cited in

(37)

• scientific article; zbMATH DE number 7731060 (Why is no real title available?)
• On the domain of formal balls of the Sorgenfrey quasi-metric space
• Distance domains: continuity
• Common fixed-point results for nonlinear contractions in ordered partial metric spaces
• A domain-theoretic approach to fuzzy metric spaces
• A generalized contraction principle with control functions on partial metric spaces
• Generalized ultrametric spaces in quantitative domain theory
• Fixed point theorems for generalized contractions on partial metric spaces
• A generalized Meir-Keeler-type contraction on partial metric spaces
• A triangle inequality for measurement
• A Kirk type characterization of completeness for partial metric spaces
• Extendible spaces
• Complete partial metric spaces have partially metrizable computational models
• Partial metrics and normed inverse semigroups
• Yoneda completion via a dcpo completion of its poset of formal balls
• The constructive maximal point space
• Injective spaces via adjunction
• Common fixed points in a partially ordered partial metric space
• A characterization of partial metrizability: Domains are quantifiable.
• \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps
• Distance and measurement in domain theory
• A quasi-metric computational model from modular functions on monoids
• A unique common fixed-point theorem for two maps under \(\psi\)-\(\phi\) contractive condition in partial metric spaces
• Weakly contractive multivalued maps and \(w\)-distances on complete quasi-metric spaces
• Stone duality for relations
• Fixed point results for generalized cyclic contraction mappings in partial metric spaces
• DS-partial metric spaces and domain theory
• Intrinsic approach spaces on domains
• The constructive maximal point space and partial metrizability
• A mathematical model for network with structures in the mesoscale
• A quantitative computational model for complete partial metric spaces via formal balls
• Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• Fundamentals of Computation Theory
• Fixed points of contractive maps on dcpo's
• An application of a representation theorem for fuzzy metrics to domain theory
• Complexity spaces as quantitative domains of computation

This page was built for publication: Quantitative continuous domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1811032)