Spaces of valuations as quasimetric domains

Electronic Notes in Theoretical Computer Science

Volumn 13, Issue , 1998, Pages 183-196

  Sünderhauf, Philipp ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FUNCTION EVALUATION; INTEGRAL EQUATIONS; MATHEMATICAL MODELS; METRIC SYSTEM; PROBABILITY; SEMANTICS;

ALGEBRAIC DOMAIN; CONTINUOUS VALUATIONS; DENOTATIONAL SEMANTICS; QUASIMETRIC DOMAIN THEORY; TOPOLOGICAL SPACES;

SET THEORY;

EID: 18944387031     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80223-3     Document Type: Conference Paper

References (17)

1. Abramsky S., Jung A. Domain theory. Abramsky S., Gabbay D.M., Maibaum T.S.E. Handbook of Logic in Computer Science. volume 3:1994;1-168 Clarendon Press
2. Bollobás B. Graph Theory. volume 63 of Graduate texts in mathematics. 1979;Springer Verlag, New York
3. Bonsangue M.M., Breugel F.van, Rutten J.J.M.M. Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Theoretical Computer Science. 193:(1-2):1998;1-51
4. Edalat A. Domain theory and integration. Theoretical Computer Science. 151:1995;163-193
5. Edalat A. Dynamical systems, measures and fractals via domain theory. Information and Computation. 120:(1):1995;32-48
6. R.C. Flagg, Ph. Sünderhauf, and K.R. Wagner. A logical approach to quantitative domain theory. Manuscript, 1996. Revised version to appear as [7].
7. R.C. Flagg, Ph. Sünderhauf, and K.R. Wagner. Representation of quantitative domains. Theoretical Computer Science. To appear.
8. Jones C. Probabilistic Non-Determinism. PhD thesis, University of Edinburgh, Edinburgh. 1990;. Also published as Technical Report No. CST-63-90
9. Jones C., Plotkin G. A probabilistic powerdomain of evaluations. Logic in Computer Science. 1989;186-195 IEEE Computer Society Press
10. Kirch O. Bereiche und Bewertungen. Master's thesis, Technische Hochschule Darmstadt. June 1993;77
11. Lawson J. Valuations on Continuous Lattices. Rudolf-Eberhard Hoffmann. Continuous Lattices and Related Topics. volume 27 of Mathematik Arbeitspapiere. 1982;Universität Bremen
12. Lawvere F.W. Metric spaces, generalized logic, and closed categories. Rend. Semi. Mat. Fis. Milano. 43:1973;135-166
13. J.J.M.M. Rutten. Elements of generalized ultrametric domain theory. Theoretical Computer Science. 170:(1-2):1996;349-381
14. Smyth M.B. Quasi-uniformities: Reconciling domains with metric spaces. Third Workshop on Mathematical Foundations of Programming Language Semantics, volume 298 of Lecture Notes in Computer Science. 1988;236-253 Springer Verlag
15. Ph. Sünderhauf. Tensor products and powerspaces in quantitative domain theory. Electronic Notes in Theoretical Computer Science, 6, 1997. URL: http://www.elsevier.nl/locate/entcs/volume6.html.
16. Tix R. Stetige Bewertungen auf topologischen Räumen. Master's thesis, Technische Hochschule Darmstadt. June 1995;51
17. Vickers S.J. Localic completion of quasimetric spaces. Technical Report DoC 97/2. 1997;Department of Computing, Imperial College, London