本文对交连续dcpo、拟连续dcpo及超连续dcpo的性质进行了深入的研究，利用内蕴拓扑和代数学的技巧作为工具探讨了交连续dcpo、拟连续......

概率幂domain是domain理论中一类非常重要的幂domain．1989年，Jones和P10t—kin证明了连续domain的概率幂domain连续．本文证明了若D是......

偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用．本文给出了下收敛的一个等价刻画，利......