- -

Listar por palabra clave "Scott topology"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Scott topology"

Ordenar por:Orden:Resultados:

  • thumb
    Complete partial metric spaces have partially metrizable computational models 
    Romaguera Bonilla, Salvador; Tirado Peláez, Pedro; Valero Sierra, Óscar (Taylor & Francis Ltd, 2012)
    We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known ...
  • thumb
    Complexity spaces as quantitative domains of computation 
    Romaguera Bonilla, Salvador; Schellekens, M.P.; Valero Sierra, Óscar (Elsevier, 2011-04)
    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 ...
  • thumb
    Core compactness and diagonality in spaces of open sets 
    Jordan, Francis; Mynard, Frédéric (Universitat Politècnica de València, 2011-10-01)
    [EN] We investigate when the space OX of open subsets of a topological space X endowed with the Scott topology is core compact. Such conditions turn out to be related to infraconsonance of X, which in turn is characterized ...