Tensor products and powerspaces in quantitative domain theory

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 327-347

  Sünderhauf, Philipp ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTER SCIENCE; FUNCTION EVALUATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MEMBERSHIP FUNCTIONS; PROBABILITY; SET THEORY; TENSORS;

METRIC SPACES; POWERSPACES; QUANTITATIVE DOMAIN THEORY; TENSOR PRODUCTS;

COMPUTATION THEORY;

EID: 18944372921     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80150-1     Document Type: Conference Paper

References (21)

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. M.M. Bonsangue, F. van Breugel, and J.J.M.M. Rutten. Generalized ultrametric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Technical Report CS-R9560, CWI, 1995.
3. Flagg R.C. Quantales and continuity spaces. Algebra Universalis. 1996;. To appear
4. Flagg R.C., Kopperman R.D. Continuity spaces: Reconciling domains and metric spaces - part I. Theoretical Computer Science. 1996;. To appear
5. Flagg R.C., Sünderhauf Ph. The essence of ideal completion in quantitative form. Manuscript. 1996
6. Flagg R.C., Sünderhauf Ph., Wagner K.R. A logical approach to quantitative domain theory. Manuscript. 1996
7. Heckmann R. Power domain constructions. Science of Computer Programming. 17:1991;77-117
8. Heckmann R. Power domains and second order predicates. Theoretical Computer Science. 111:1993;59-88
9. Huth M. A powerdomain of possibility measures. Electronic Notes in Theoretical Computaer Science. 6:1997
10. C. Jones. Probabilistic Non-Determinism. PhD thesis, University of Edinburgh, Edinburgh, 1990. Also published as Technical Report No. CST-63 - 90.
11. Jones C., Plotkin G. A probabilistic powerdomain of evaluations. Logic in Computer Science. 1989;186-195 IEEE Computer Society Press
12. Lawvere F.W. Metric spaces, generalized logic, and closed categories. Rend. Semi. Mat. Fis. Milano. 43:1973;135-166
13. Main M. Free constructions of powerdomains. In A. Melton, editor, Mathematical Foundations of Programming Semantics, volume 239 of Lecture Notes in Computer Science. 1985;162-183 Springer Verlag
14. G. N. Raney. Completely distributive complete lattices. Proc. AMS, 3:667 - 680, 1952.
15. J.J.M.M. Rutten. Elements of generalized ultrametric domain theory. Theoretical Computer Science. 170:(l-2):1996;349-381
16. 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
17. Smyth M.B. Totally bounded spaces and compact ordered spaces as domains of computation. Reed G.M., Roscoe A.W., Wachter R.F. Topology and Category Theory in Computer Science. 1991;207-229 Clarendon Press, Oxford
18. Ph. Sünderhauf. Constructing a quasi-uniform function space. Topology and its Applications. 67:1995;1-27
19. Ph. Sünderhauf. The free domain cone as quantitative powerdomain. Manuscript in preparation. 1997
20. R. Tix. Stetige Bewertungen auf topologischen Räumen. Master's thesis, Technische Hochschule Darmstadt, June 1995. 51pp.
21. K.R. Wagner. Solving Recursive Domain Equations with Enriched Categories. PhD thesis, Carnegie Mellon University, 1994.