极大点空间相关论文
该文主要从两方面讨论连续Domain理论中的几个问题.一方面在经典Domain理论中,对连续Domain本身的性质进行了深入研究,得到连续Dom......
为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语义学研究中最重要的构造,几个经典的幂domain构造已经被广泛的研......
本文利用极大点空间的等价刻划证明了极大点空间的某些子空间、不交和、 乘积空间、逆序列的逆极限、具有可数基的局部紧的Hausdor......
利用Domain理论中的极大点空间的方法给出正规Hausdorff空间的Wallman紧化的一个序理论构造....
研究了Lawson紧的连续domainD的混合幂domainM(D),给出了M(D)的极大元的刻画.证明了M(D)是其极大点空间Max(M(D))的domain环境,同......