琼斯，C。;普洛金，G.D。 评估的概率幂域。 （英语） Zbl 0716.06003号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989、186-195（1989）。 摘要：[有关整个系列，请参阅Zbl 0713.00018号.]给出了归纳完全偏序范畴的概率幂域构造；它是Scott拓扑上连续[0,1]值求值的偏序。通过与此类评估相关的积分理论，幂域被证明是一个单子，实际上人们得到了莫吉计算lambda-calculus的模型。人们还可以求解涉及powerdomain的递归域方程，所有这些都为具有概率特征的编程语言提供了一种元语言。这用于给出具有概率并行结构的语言的语义。我们证明了这种构造推广了以前关于测度的偏序的工作，并且实际上限制了连续偏序的范畴，在这里它可以被描述为自由连续有限代数。 引用于三评论引用于101文件 MSC公司： 06B35号 连续格和偏序集，应用 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 03B40型 组合逻辑与lambda演算 关键词：归纳完全偏序范畴的概率幂域构造;Scott拓扑上连续[0,1]值求值的偏序;单子;莫吉计算λ演算模型;递归域方程;具有概率特征的程序设计语言元语言;概率并行结构语言的语义;连续偏序范畴 引文：Zbl 0713.00018号 PDF格式BibTeX公司 XML格式 全文： 链接