Title of article :
Compact continuous L-domains
Author/Authors :
Jihua Liang، نويسنده , , K. Keimel، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1999
Abstract :
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.
Keywords :
FS-domain , Lawson compact , Continuous B-domain , L-domain
Journal title :
Computers and Mathematics with Applications
Journal title :
Computers and Mathematics with Applications