
The Library
The topology of partial metric spaces
Tools
Matthews, Stephen G. (1992) The topology of partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-222.pdf - Other - Requires a PDF viewer. Download (838Kb) | Preview |
Abstract
The T0 world of Scott's topological models used in the denotational semantics of programming languages may at first sight appear to have nothing whatever in common with the Hausdorff world of metric space theory. Can this be true though when the notion of "distance" is so important in the application of inductive proof theory to recursive definitions? This paper shows that existing work on the application of quasi metrics to denotational semantics can be taken much further than just describing Scott topologies. Using our "partial metric" we introduce a new approach by constructing each semantic domain as an Alexandrov topology "sandwiched" between two metric topologies. To be presented at the Eighth Summer Conference on General Topology and Applications, June 18-20 1992, Queens College, New York City.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Metric spaces, Topology, Denotational semantics | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | June 1992 | ||||
Dates: |
|
||||
Number: | Number 222 | ||||
Number of Pages: | 19 | ||||
DOI: | CS-RR-222 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Reuse Statement (publisher, data, author rights): | S.G. Matthews, “Partial Metric Topology”, <i>Papers on General Topology and Applications</i>, Annals of the New York Academy of Sciences 728, ed. Susan Andima, Gerald Itzkowicz, T. Yung Kong, Ralph Kopperman, Prabudh Ram Misra, Lawrence Narici and Aaron Todd, New York Academy of Sciences, New York, NY, pp. 183-197 (1994); Proceedings of the Eighth Summer Conference on General Topology and Applications held at Queens College, Flushing, NY, on June 18-20, 1992. | ||||
Access rights to Published version: | Open Access (Creative Commons) | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year