Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Partial metric spaces

Tools
- Tools
+ Tools

Matthews, Stephen G. (1992) Partial metric spaces. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-212.pdf - Other - Requires a PDF viewer.

Download (887Kb) | Preview

Request Changes to record.

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:
DateEvent
March 1992Completion
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.&nbsp;Matthews, &ldquo;Partial Metric Topology&rdquo;, <i>Papers on General Topology and Applications</i>, Annals of the New York Academy of Sciences 728, ed.&nbsp;Susan Andima, Gerald Itzkowicz, T.&nbsp;Yung Kong, Ralph Kopperman, Prabudh Ram Misra, Lawrence Narici and Aaron Todd, New York Academy of Sciences, New York, NY, pp.&nbsp;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:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us