On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics

DOI10.1155/2013/985095zbMath1470.54112OpenAlexW2009579760WikidataQ58917851 ScholiaQ58917851MaRDI QIDQ2319341

Oscar Valero, Naseer Shahzad

Publication date: 16 August 2019

Published in: Abstract and Applied Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/985095

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Semantics in the theory of computing (68Q55)

Related Items

A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms ⋮ A note on partial metric type structures and metric type structures ⋮ On the existence of fixed points that belong to the zero set of a certain function ⋮ On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms ⋮ Projective contractions, generalized metrics, and fixed points ⋮ A characterisation of weightable quasi-metric generating functions ⋮ Fixed point theory in partial metric spaces via \(\varphi\)-fixed point's concept in metric spaces ⋮ On Matthews' relationship between quasi-metrics and partial metrics: an aggregation perspective ⋮ \({\varphi}\)-admissibility results via extended simulation functions ⋮ Fixed points and completeness in metric and generalized metric spaces ⋮ A fixed point theorem in partial quasi-metric spaces and an application to software engineering ⋮ A Nemytskii-Edelstein type fixed point theorem for partial metric spaces ⋮ A study on the relationship between relaxed metrics and indistinguishability operators ⋮ Qualitative versus quantitative fixed point techniques in computer science ⋮ On partial metric preserving functions and their characterization ⋮ A new approach to fuzzy partial metric spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fixed point theory for cyclic generalized contractions in partial metric spaces
• Coincidence and fixed points for contractions and cyclical contractions in partial metric spaces
• On fixed point theory in partial metric spaces
• Common fixed points of generalized contractions on partial metric spaces and an application
• Partial Hausdorff metric and Nadler's fixed point theorem on partial metric spaces
• Some new extensions of Banach's contraction principle to partial metric space
• Fixed point theorems for monotone mappings on partial metric spaces
• Fixed point theorems for generalized contractions on partial metric spaces
• An extensional treatment of lazy data flow deadlock
• The Baire partial quasi-metric space: a mathematical tool for asymptotic complexity analysis in computer science
• Partial metric monoids and semivaluation spaces
• The contraction principle as a particular case of Kleene's fixed point theorem
• Approximation of metric spaces by partial metric spaces
• A characterization of partial metrizability: Domains are quantifiable.
• Quasi-metric properties of complexity spaces
• The correspondence between partial metrics and semivaluations
• Extensions of the Zamfirescu theorem to partial metric spaces
• Fixed point results for generalized cyclic contraction mappings in partial metric spaces
• Be careful on partial metric fixed point results
• Fixed point theorems in generalized metric spaces with applications to computer science
• Bicompleting weightable quasi-metric spaces and partial metric spaces
• Mathematical Aspects of Logic Programming Semantics
• On Banach fixed point theorems for partial metric spaces
• Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
• A quantitative computational model for complete partial metric spaces via formal balls
• The Smyth Completion
• Partial Metric Topology
• Continuous Lattices and Domains
• Complete partial metric spaces have partially metrizable computational models

This page was built for publication: On 0-complete partial metric spaces and quantitative fixed point techniques in denotational semantics