Extensions of valuations

Mathematical Structures in Computer Science

Volumn 15, Issue 2, 2005, Pages 271-297

  Goubault Larrecq, Jean ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750721677     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S096012950400461X     Document Type: Article

References (15)

1. Abramsky, S. and Jung, A. (1994) Domain theory. In: Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.) Handbook of Logic in Computer Science 3, Oxford University Press 1-168.
2. Alvarez-Manilla, M. (2000) Measure Theoretic Resulta for Continuous Valuations on Partially Ordered Spaces, Ph. D. thesis, University of London and Imperial College.
3. Alvarez-Manilla, M., Edalat, A. and Saheb-Djahromi, N. (1997) An extension result for continuous valuations. In: Edalat, A., Jung, A., Keimel, K. and Kwiatkowska, M. (eds.) Proceedings of the 3rd Workshop on Computation and Approximation (Comprox III), Birmingham, England. Electronic Notes in Theoretical Computer Science 13, Elsevier.
4. Bukatin, M. A. and Shorina, S. Y. (1998) Partial metrics and co-continuous valuations. In: Nivat, M. (ed.) Foundations of Software Sciences and Computation Structures. Springer-Verlag Lecture Notes in Computer Science 1378 125-139.
5. Edalat, A. (1995) Domain theory and integration. Theoretical Computer Science 151 163-193.
6. Edalat, A., Jung, A., Keimel, K. and Kwiatkowska, M. (eds.) (1997) Proceedings of the 3rd Workshop on Computation and Approximation (Comprox III), Birmingham, England. Electronic Notes in Theoretical Computer Science 13, Elsevier.
7. Erné, M. (1991) The ABC of order and topology. In: Category Theory at Work: Workshop proceedings. Research and Exposition in Mathematics 18 57-83.
8. Gierz, G., Lawson, J. D. and Stralka, A. (1983) Quasicontinuous posets. Houston Journal of Mathematics 9 191-208.
9. Heckmann, R. (1990) Power Domain Constructions (Potenzbereich- Konstruktionen), Ph.D. thesis, Universität des Saarlandes.
10. Heckmann, R. (1996) Spaces of valuations. In: Andima, S., Flagg, R. C., Itzkowitz, G., Kong, Y., Kopperman, R. and Misra, P. (eds.) Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine. Annals of the New York Academy of Sciences 806 174-200.
11. Jones, C. (1990) Probabilistic Non-Determinism, Ph.D. thesis, University of Edinburgh. (Technical Report ECS-LFCS-90-105.)
12. Keimel, K. (1997) Bi-continuous valuations. In: Edalat, A., Jung, A., Keimel, K. and Kwiatkowska, M. (eds.) Proceedings of the 3rd Workshop on Computation and Approximation (Comprox III), Birmingham, England. Electronic Notes in Theoretical Computer Science 13, Elsevier.
13. 0-spaces.
14. Sünderhauf, P. (1997) Spaces of valuations as quasimetric domain. In: Edalat, A., Jung, A., Keimel, K. and Kwiatkowska, M. (eds.) Proceedings of the 3rd Workshop on Computation and Approximation (Comprox III), Birmingham, England. Electronic Notes in Theoretical Computer Science 13, Elsevier.
15. Tix, R. (1995) Stetige Bewertungen auf topologischen Räumen, Diplomarbeit, TH Darmstadt.