Domain理论是计算机程序设计语言的指称语义学的数学基础.它的基本特征是序与拓扑相互结合、相互作用.正是这一特征使Domain理论成......

自从20世纪70年代D.S.Scott首次提出Domain概念以来，Domain理论受到众多数学家和理论计算机科学家的关注.1983年，作为连续Domain和广......

首先给出相客定向极小集的概念,讨论它的性质及与相客连续Domain的关系;其次蛤出相客连续Domain基的概念,得到它的等价刻画.最后,......

引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证......

对相容Domain引入了相容定向极小集的概念，证明了相容DomainD是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集，并给出......

引入相容连续Domain的权与稠密子集的概念，在此基础上定义相容连续Domain的特征与浓度。给出局部基的刻画，并讨论相容连续Domain的特......

借助S-极限的概念,在相容定向完备集上引入相容Scott拓扑和相容连续Domain。得出以下结果:上集U是相容Scott开集当且仅当U∈O(S);......

定义相容Domain的子Domain与子空间等概念，得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论，证明了相容连续Domain......