A characterization of partial metrizability is given which provides a partial solution to an open
problem stated by Künzi in the survey paper Non-symmetric Topology (in: Proceedings of …

Partial metrics, or the equivalent weightable quasi-metrics, have been introduced in
Matthews (Proc. 8th Summer Conf. on General Topology and Applications; Ann. New York …

Several theories aimed at reconciling the partial order and the metric space approaches to
Domain Theory have been presented in the literature (eg Flagg and Kopperman, Theoret …

The complexity (quasi-metric) space was introduced in [23] to study complexity analysis of
programs. Recently, it was introduced in [22] the dual complexity (quasi-metric) space, as a …

In [Sch00] a bijection has been established, for the case of semilattices, between invariant
partial metrics and semivaluations. Semivaluations are a natural generalization of valuations …

Recently, EA Emerson and CS Jutla (SIAM J. Comput., 1999), have successfully applied
complexity of tree automata to obtain optimal deterministic exponential time algorithms for …

[EN] The domain theoretic notion of lifting allows one to extend a partial order in a trivial way
by a minimum. In the context of Quantitative Domain Theory partial orders are represented …

The notion of a Smyth completable quasi—uniform space provides an effi-cient tool to give a
topological foundation for many kinds of spaces which arise naturally in Theoretical …

In this paper, we introduce the concept of generalized weak contractivity for set-valued maps
defined on quasi metric spaces. We analyze the existence of fixed points for generalized …

If $ A $ is a (nonempty) bounded convex subset of an asymmetric normed linear space $(X,
q), $ we define the closedness of $ A $ as the set\textrm {cl} $% _ {q} A\cap\mathrm {cl} …