In 1994, Matthews introduced the notion of a partial metric space in order to obtain a suitable
mathematical tool for program verification (Matthews in Ann. NY Acad. Sci. 728: 183-197 …

In 1994, Matthews introduced the notion of partial metric space with the aim of providing a
quantitative mathematical model suitable for program verification. Concretely, Matthews …

Schellekens [The Smyth completion: A common foundation for denotational semantics and
complexity analysis, Electron. Notes Theor. Comput. Sci. 1 (1995), pp. 211–232.] introduced …

Abstract Scott (1970)[11] introduced qualitative fixed point techniques as a suitable
mathematical tool for program verification. Inspired by the fact that the Scott mathematical …

In his well-known paper dealing with the construction of the injective hull of a metric space
Isbell introduced the concept of an endpoint of a (compact) metric space. In the present …

The aim of this paper is to propose a new φ-coupled fixed point theorem for a mixed
monotone mapping in a metric space, which is taken no account of the continuity of the …

In the present study, we identify a new type of extended metrics space, ie generalized quasi-
partial metric space and utilize it to introduce new results of fixed point for contractive …

In this paper we continue the study of fixed point theory in partial quasi-metric spaces and its
usefulness in complexity analysis of algorithms. Concretely we prove two new fixed point …

We first provide new sufficient conditions for the existence of minima of functions defined on
0-complete partial metric spaces. We then apply the obtained results to derive some fixed …

We prove an induction theorem and versions of the Ekeland variational principle for
functions on partial metric spaces. As the distance is a partial metric, these versions have …