A note on probabilistic powerdomain
A note on probabilistic powerdomain
复制标题
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Zhao Hao
中科院分区：
文献类型：
--
作者：
Zhao Hao
概率幂域是域论中一种重要的幂域。1989年Jones和Plotkin证明了连续域的概率幂域是连续的。本文作者证明了如果准连续域或SL域的概率幂域是连续的，则准连续域或SL域也是连续的。
Probabilistic powerdomain is a kind of important powerdomain in domain theory.Jones and Plotkin prove that the probabilistic powerdomain of a continuous domain is continuous in 1989.In this paper the authors prove that if the probabilistic powerdomain of a quasicontinuous domain or a SL-domain is continuous,then the quasicontinuous domain or SL-domain is continuous.