Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究．大约在同一时期，在纯数学领域，Lawson......

近三十年来,数学与计算机科学的交叉,尤其是拓扑方法、格序结构、范畴结构等在计算机科学中的应用引起了人们的广泛关注.二十世纪7......

证明了：（1）具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格；（2）对于dcpo L，L为拟连续domain当且仅当∑......