Partial Metrics, Valuations, and Domain Theory

Annals of the New York Academy of Sciences

Volumn 806, Issue , 1996, Pages 304-315

  O'Neill, S J ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Bitopology; Domain; Metric; Partial metric; Valuation

Indexed keywords

EID: 0041392754     PISSN: 00778923     EISSN: None     Source Type: Book Series    
DOI: 10.1111/j.1749-6632.1996.tb49177.x     Document Type: Article

References (10)

1. ABRAMSKY, S. & A. JUNG. 1992. Domain Theory. Handbook of Logic in Computer Science, Vol. 3. Oxford Science Publications.
2. BIRKHOFF, G. 1967. Lattice Theory. AMS Colloquium Publication, 3rd edit.
3. EDALAT, A. 1994. Domain Theory and Integration. LICS '94, IEEE Computer Society Press.
4. LAWSON, J.D. 1988. The Versatile Continuous Order. Mathematical Foundations of Programming Language Semantics. Lecture Notes in Computer Science, 298. Springer-Verlag. New York.
5. MATTHEWS, S.G. 1992. Partial Metric Topology. In: Proceedings of the 8th Summer Conference on Topology and Its Applications (S. Andima et al., Eds.). Annals of the New York Academy of Sciences. 728: 183-197. New York.
6. NIELSEN, M., G. PLOTKIN, & G. WINSKEL. 1981. Petri Nets, Event Structures, and Domains, Part 1. Theoretical Computer Science, Vol. 13.
7. RUTTEN, J.J.M.M. 1995. Elements of Generalized Ultrametric Domain Theory. Report CS-R9507. Computer Science. CWI.
8. SMYTH, M.B. 1992. Topology, Handbook of Logic in Computer Science, Vol. 1. Oxford Science Publications.
9. SUTHERLAND, W.A. 1975. Introduction to Metric and Topological Spaces. Oxford University Press. New York.
10. WAGNER, K.R. 1994. Solving Recursive Domain Equations with Enriched Categories. PhD. Thesis, School of Computer Science, Carneige Mellon University.