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

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