摘要：概率性能域在域论中在建模具有概率选择的非确定性函数式编程语言的语义中起着重要作用。本文将概率性能域的概念扩展到有向空间，这与T0单调确定空间的概念等价。我们构造了有向空间的概率性功空间，它被定义为自由的有向空间锥。此外，还研究了我们构造与经典概率性能域之间的关系。
作者：Xiaolin Xie, Hui Kou, Zhenchao Lyu
论文ID：2203.04506
分类：General Topology
分类简称：math.GN
提交时间：2022-03-14
PDF 下载： 英文版 中文版pdf翻译中