为了模型化不确定计算而引入的幂domain已成为程序设计语言指称语义学研究中最重要的构造,几个经典的幂domain构造已经被广泛的研......

研究了Lawson紧的连续domainD的混合幂domainM(D),给出了M(D)的极大元的刻画.证明了M(D)是其极大点空间Max(M(D))的domain环境,同......

作者引入了具有domain环境的拓扑空间所固有的几种分离性，如cT1，cT2和wcT2，并从拓扑学和domain理论两方面对这些分离性进行了讨论．......