A characterization of partial metrizability: Domains are quantifiable

M. P. Schellekens

doi:10.1016/S0304-3975(02)00705-3

A characterization of partial metrizability: Domains are quantifiable

M. P. Schellekens

School of Computer Science and Information Technology

Research output: Contribution to journal › Article › peer-review

Abstract

A characterization of partial metrizability is presented. The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to a Q-valuations. The notion of a valuation is central in the context of Quantitative Domain Theory.

Original language	English
Pages (from-to)	409-432
Number of pages	24
Journal	Theoretical Computer Science
Volume	305
Issue number	1-3
DOIs	https://doi.org/10.1016/S0304-3975(02)00705-3
Publication status	Published - 18 Aug 2003
Event	Topology in Computer Science - Dagstuhl, Germany Duration: 1 Jun 2000 → 1 Jun 2000

Keywords

(Weightable) Quasi-metrics
Directed partial orders
Partial metrics
Valuations

Access to Document

10.1016/S0304-3975(02)00705-3

Cite this

@article{47f79ef23cec4fafbd7e4271698be029,

title = "A characterization of partial metrizability: Domains are quantifiable",

abstract = "A characterization of partial metrizability is presented. The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to a Q-valuations. The notion of a valuation is central in the context of Quantitative Domain Theory.",

keywords = "(Weightable) Quasi-metrics, Directed partial orders, Partial metrics, Valuations",

author = "Schellekens, \{M. P.\}",

year = "2003",

month = aug,

day = "18",

doi = "10.1016/S0304-3975(02)00705-3",

language = "English",

volume = "305",

pages = "409--432",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "1-3",

note = "Topology in Computer Science ; Conference date: 01-06-2000 Through 01-06-2000",

}

TY - JOUR

T1 - A characterization of partial metrizability

T2 - Topology in Computer Science

AU - Schellekens, M. P.

PY - 2003/8/18

Y1 - 2003/8/18

N2 - A characterization of partial metrizability is presented. The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to a Q-valuations. The notion of a valuation is central in the context of Quantitative Domain Theory.

AB - A characterization of partial metrizability is presented. The characterization yields a powerful tool which establishes a correspondence between partial metrics and special types of valuations, referred to a Q-valuations. The notion of a valuation is central in the context of Quantitative Domain Theory.

KW - (Weightable) Quasi-metrics

KW - Directed partial orders

KW - Partial metrics

KW - Valuations

UR - https://www.scopus.com/pages/publications/0043031297

U2 - 10.1016/S0304-3975(02)00705-3

DO - 10.1016/S0304-3975(02)00705-3

M3 - Article

AN - SCOPUS:0043031297

SN - 0304-3975

VL - 305

SP - 409

EP - 432

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

Y2 - 1 June 2000 through 1 June 2000

ER -

A characterization of partial metrizability: Domains are quantifiable

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this