代数domain相关论文
Scott空间是指完备格带有Scott拓扑的拓扑空间(后来Scott拓扑也定义在dcpo上,更一般地,定义在一般偏序集上).一般情况下,Scott空间是......
本文研究了 Domain 理论中投射空间的性质. 其主要结果是: 若连续 cpo D的投射空间是连续的, 则 D 必是代数 Domain. 进一步, 若连......

