Andima, Susan (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18–20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 183-197 (1994).
Summary: Metric spaces are inevitably Hausdorff and so cannot, for example, be used to study non-Hausdorff topologies such as those required in the Tarskian approach to programming language semantics. This paper presents a symmetric generalized metric for such topologies, an approach which sheds new light on how metric tools such as Banach’s theorem can be extended to non-Hausdorff topologies.
|54E35||Metric spaces, metrizability|
|68Q60||Specification and verification of programs|