代数Domain相关论文
Scott空间是指完备格带有Scott拓扑的拓扑空间（后来Scott拓扑也定义在dcpo上,更一般地,定义在一般偏序集上）.一般情况下,Scott空间是......
本文研究了 Domain 理论中投射空间的性质. 其主要结果是: 若连续 cpo D的投射空间是连续的, 则 D 必是代数 Domain. 进一步, 若连......
在环R上引入了拓扑[R]和偏序≤R,证明了(R,(○)[R])是可分的,第一可数的局部紧空间,并得出了如下结论：(1)(R’,(○)*[R])是T1,......
证明了对任一有限集E，可以给C（E）（即E上的拟阵极小圈系的全体）、R（E）（即E上的拟阵秩函数的全体）和F（E）（即E上的拟阵闭集族的全体）上定义适当的序......
引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的......
20世纪70年代,图灵奖获得者Dana Scott提出了Domain理论,它在计算机程序设计语言中有重要作用。在纯数学领域,Lawson,Stralka等人......
