论文信息 - Quasi Uniformities: Reconciling Domains with Metric Spaces

Quasi Uniformities: Reconciling Domains with Metric Spaces

We show that quasi-metric or quasi-uniform spaces provide, inter alia, a common generalization of cpo's and metric spaces as used in denotational semantics. To accommodate the examples suggested by computer science, a reworking of basic notions involving limits and completeness is found to be necessary. Specific results include general fixed point theorem and a sequential completion construction.

Michael B. Smyth | M. Smyth

[1] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .

[2] Michael B. Smyth,et al. Finite Approximation of Spaces , 1985, CTCS.

[3] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .

[4] Michael B. Smyth,et al. Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.

[5] Dana S. Scott,et al. Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[6] Ákos Császár,et al. Foundations of general topology , 1963 .

[7] David A. Schmidt,et al. A Topological Framework of cpos Lacking Bottom Elements , 1986, Mathematical Foundations of Programming Semantics.

[8] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.

[9] Norman Levine,et al. On the hyperspace of a quasi-uniform space , 1972 .

[10] Matthew Hennessy,et al. A Term Model for CCS , 1980, MFCS.

[11] Fletcher. Quasi-Uniform Spaces , 1982 .

[12] Robin Milner,et al. A Modal Characterisation of Observable Machine-Behaviour , 1981, CAAP.

[13] Gilles Berthiaume,et al. On quasi-uniformities in hyperspaces , 1977 .