<%@ page language="java" contentType="text/html" %> <%-- Include common initialisation code --%> <%@ include file="/arch/common.jsp" %> <%-- The current tab --%> <% String currentTab = "Research"; %> <%-- Content of navigation pane --%> <%@ include file="nav.jsp" %> <% showCurrentLink=true; %> <%-- Current navigation location --%> <% String currentNav = "Reports and Theses"; %> <%-- Include the code for the document header --%> <%@ include file="/arch/header.jsp" %>

Research Report CS-RR-212

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %>

S.G. Matthews, Partial Metric Spaces (March 1, 1992).

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.

<%@ 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" %>