连续CPO相关论文
提出了R-偏序集的概念,本文通过有趣的例子说明了偏序族中的偏序在逼近某个偏序时未必保持cpo (complete partialorder),代数cpo或连......
本文研究了 Domain 理论中投射空间的性质. 其主要结果是: 若连续 cpo D的投射空间是连续的, 则 D 必是代数 Domain. 进一步, 若连......
本文研究了Domain理论中投射空间的性质。其主要结果是:若连续cpo D的投射空间是连续的,则D必是代数Domain。进一步,若连续cpo D具有......
本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等......