
The Library
Partial metric spaces
Tools
Matthews, Stephen G. (1992) 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-212.pdf - Other - Requires a PDF viewer. Download (887Kb) | Preview |
Abstract
Scott models are topological models of complete partial orders used for Tarskian fixed point semantics of the lambda calculus. As of yet there are no methods for deriving Scott models from specifications of the "complete" objects beyond an arbitrary choice. This paper introduces "partial metrics" for generalising a theory of complete objects into a Scott model including partial objects.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Metric spaces, Topology | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | March 1992 | ||||
Dates: |
|
||||
Number: | Number 212 | ||||
Number of Pages: | 21 | ||||
DOI: | CS-RR-212 | ||||
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. | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |