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

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

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