Bi-continuous valuations

Electronic Notes in Theoretical Computer Science

Volumn 13, Issue , 1998, Pages 119-123

  Keimel, Klaus ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMBINATORIAL MATHEMATICS; CONFORMAL MAPPING; FUNCTIONS; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING; TOPOLOGY;

ALGEBRAIC DOMAINS; HAUSDORFF SPACES; INCLUSION ORDERING; TOPOLOGICAL SPACES;

METRIC SYSTEM;

EID: 18944387678     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80218-X     Document Type: Conference Paper

References (7)

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. Bukatin M.A., Shorina S.Yu. Partial metrics and co-continuous valuations. Nivat M. Foundations of Software Sciences and Computation Structures. Lecture Notes in Computer Science, volume 1378:1998;125-139 Springer Verlag
3. B. Flagg. Constructing CC-valuations. Note available via URL http://macweb.acs.usm.maine.edu/math/archive/flagg/papers.html.
4. Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M., Scott D.S. A Compendium of Continuous Lattices. 1980;Springer Verlag, Berlin
5. Lawson J.D. Valuations on Continuous Lattices. Hoffman R.-E. Continuous Lattices and Related Topics of Mathematik Arbeitspapiere. Universitat Bremen. volume 27:1982;204-225
6. Norberg T. Existence theorems for measures and continuous posets, with applications to random set theory. Math. Scand. 64:1989;15-55
7. Raney G.N. A subdirect-union representation for completely distributive complete lattices. Proc. AMS. 4:1953;518-522