论文标题
定向概率的权力空间
The Directed Probabilistic Powerspace
论文作者
论文摘要
域理论中的概率电力塔在建模具有概率选择的非确定功能编程语言的语义方面起着重要作用。在本文中，我们将动力仓的概念扩展到有向空间，这等同于T0单调确定的空间的概念[4]。我们构建了有向空间的概率力量空间，该空间被定义为一个自由的定向空间孔。此外，研究了我们的构建与经典概率电力组合之间的关系。
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied.
