The topology of partial metric spaces
Matthews, S.G. (1992) The topology of partial metric spaces. Technical Report. Department of Computer Science, Coventry, UK.
- Published Version
Download (742Kb) | Preview
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:||Monograph (Technical Report)|
|Additional Information:||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.|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Divisions:||Faculty of Science > Computer Science|
|Depositing User:||Mr Ebrahim Ardeshir|
|Date Deposited:||19 Dec 2011 09:13|
|Last Modified:||01 Nov 2012 18:06|
Actions (login required)