We study domain theoretic properties of complexity spaces. Although the so-called complexity space is not a domain for the usual pointwise order, we show that, however, each pointed complexity space is an ¿-continuous ...
Romaguera, Salvador; Schellekens, M.P.(Universitat Politècnica de València, 2002-04-01)
[EN] 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 subspace of the function space ...
Schellekens, M.P.(Universitat Politècnica de València, 2002-10-01)
[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 as quasi-metric spaces. For such ...