- -

Listar por palabra clave "Quantitative domain"

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

Listar por palabra clave "Quantitative domain"

Ordenar por:Orden:Resultados:

  • 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
    On the domain of formal balls of the Sorgenfrey quasi-metric space 
    Romaguera Bonilla, Salvador; Schellekens, Michel; Tirado Peláez, Pedro; Valero Sierra, Óscar (Elsevier, 2016)
    [EN] We show that the poset of formal balls of the Sorgenfrey quasi-metric space is an omega-continuous domain, and deduce that it is also a computational model, in the sense of R.C. Flagg and R. Kopperman, for the Sorgenfrey ...