超连续Domain相关论文
自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注.1983年,作为连续Domain和广......
本学位论文主要讨论(拟)超连续domain的遗传性和收缩性质,证明了拟超连续性对于上拓扑开集遗传,并给出一个反例说明了(拟)超连续性对于上......
讨论了超连续domain与拟超连续domain的相关性质,证明了超连续半格范畴为有性质M*的拟超连续domain范畴的反射子范畴。......