Compact continuous L-domains
The purpose of this paper is to study the structure of compact continuous L-domains. It is proved that FS-domains, continuous B-domains, and compact continuous dcpos are all equivalent for L-domains. A basic notion of property W is introduced and some characterizations of compact continuous L-domains and of continuous L-domains are given by means of the continuity of function spaces and the property W. (C) 1999 Elsevier Science Ltd. All rights reserved.
l-domain fs-domain continuous b-domain lawson compact