Generalized ultrametric spaces in quantitative domain theory

Theoretical Computer Science

Volumn 368, Issue 1-2, 2006, Pages 30-49

  Krötzsch, Markus ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Fixed point theorem; Generalized ultrametric space; Metric topology; Quantitative domain theory; Space of formal balls

Indexed keywords

COMPUTER PROGRAMMING; SEMANTICS; THEOREM PROVING; TOPOLOGY;

FIXED POINT THEOREM; GENERALIZED ULTRAMETRIC SPACE; METRIC TOPOLOGY; QUANTITATIVE DOMAIN THEORY;

COMPUTER SCIENCE;

EID: 33750719082     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.05.037     Document Type: Article

References (23)

1. Abramsky S., and Jung A. Domain theory. In: Abramsky S., Gabbay D.M., and Maibaum T.S.E. (Eds). Handbook of Logic in Computer Science Vol. III (1994), Oxford University Press, Oxford
2. Borceux F. Handbook of Categorical Algebra 1: Basic Category Theory, Encyclopedia of Mathematics and its Applications Vol. 53 (1994), Cambridge University Press, Cambridge
3. Bosangue M.M., van Breugel F., and Rutten J.J.M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding. Theoret. Comput. Sci. 193 (1998) 1-51
4. Davey B.A., and Priestley H.A. Introduction to Lattices and Order. second ed. (2002), Cambridge University Press, Cambridge
5. Edalat A., and Heckmann R. A computational model for metric spaces. Theoret. Comput. Sci. 193 (1998) 53-73
6. Flagg R.C. Quantales and continuity spaces. Algebra Universalis 37 3 (1997) 257-276
7. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., and Scott D.S. Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications Vol. 93 (2003), Cambridge University Press, Cambridge
8. Heckmann R. Approximation of metric spaces by partial metric spaces. Appl. Categorical Struct. 7 1-2 (1999) 71-83
9. P. Hitzler, Generalized metrics and topology in logic programming semantics, Ph.D. Thesis, Department of Mathematics, National University of Ireland, University College Cork, 2001.
10. Hitzler P., and Seda A.K. Acceptable programs revisited. in: Proc. of the Workshop on Verification in Logic Programming, 16th Internat. Conf. on Logic Programming (ICLP'99), Electronic Notes in Theoretical Computer Science Vol. 30 (1999), Elsevier, Amsterdam
11. P. Hitzler, A.K. Seda, A new fixed point theorem for logic programming semantics, in: Proc. of the Joint IIIS & IEEE Meeting of the Fourth World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the Sixth Internat. Conf. on Information Systems Analysis and Synthesis (ISAS2000), 2000, Vol. VII, Computer Science and Engineering Part 1, International Institute of Informatics and Systemics, 2000, pp. 418-423.
12. Hitzler P., and Seda A.K. The fixed-point theorems of Priess-Crampe and Ribenboim in logic programming. Valuation Theory and its Applications, in: Proc. of the 1999 Valuation Theory Conference, University of Saskatchewan in Saskatoon, Canada, Fields Institute Communications Vol. 32 (2002), American Mathematical Society, Providence, RI 219-235
13. Hitzler P., and Seda A.K. Generalized metrics and uniquely determined logic programs. Theoret. Comput. Sci. 305 1-3 (2003) 187-219
14. Kopperman R. All topologies come from generalized metrics. Amer. Math. Monthly 95 2 (1988) 89-97
15. Lawvere F.W., and Rosebrugh R. Sets for Mathematics (2003), Cambridge University Press, Cambridge
16. S.G. Matthews, Partial metric topology, in: Proc. Eighth Summer Conference on General Topology and its Applications, Annals of the New York Academy of Sciences, Vol. 728, 1994, pp. 183-197.
17. S.J. O'Neill, A fundamental study into the theory and application of the partial metric spaces, Ph.D. Thesis, Department of Computer Science, University of Warwick, 1998.
18. Prieß-Crampe S., and Ribenboim P. Logic programming and ultrametric spaces. Rendi. Math. VII 19 (1999) 155-176
19. J.J.M.M. Rutten, Weighted colimits and formal balls in generalized metric spaces, Technical Report SEN-R9711, CWI, Amsterdam, 1997.
20. Schellekens M.P. A characterization of partial metrizability. Domains are quantifiable. Theoret. Comput. Sci. 305 (2003) 409-432
21. Smyth M.B. Reconciling domains and metric spaces. In: Main M., Melton A., Mislove M., and Schmidt D. (Eds). Proc. Workshop on Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science Vol. 298 (1988), Springer, Berlin 236-253
22. Smyth M.B. Topology. In: Abramsky S., Gabbay D.M., and Maibaum T.S.E. (Eds). Handbook of Logic in Computer Science Vol. I (1992), Oxford University Press, Oxford
23. P. Waszkiewicz, Quantitative continuous domains, Ph.D. Thesis, School of Computer Science, University of Birmingham, 2002.