S.G. Matthews, The Topology of Partial Metric Spaces (June 1, 1992).
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.
<%@ include file="cited.html" %>S.G. Matthews, "Partial Metric Topology", Papers on General Topology and Applications, 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.
<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>