基于Snyth幂Domain的构造,本文证明了连续半格范畴CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Cohere......

推广连续domain的特征与浓度的概念到连续偏序集上。探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度，得到了几个关系定理：1）连......