Completeness and Compactness of Quantitative Domains
2005 ◽
pp. 341-351