QRB 域与概率幂域
编程语言
2015-07-01 v2
摘要
是否存在一个连续域的 Cartesian 闭范畴，其在 Jones 和 Plotkin 的概率幂域构造下是封闭的？这是概率高阶语言指称语义领域中的一个主要开放问题。我们放宽了这一问题，转而寻找拟连续 dcpo。我们引入了一类自然的此类拟连续 dcpo，即 omega-QRB 域。我们证明它们构成了一个具有良好性质的范畴 omega-QRB：omega-QRB 在概率幂域函子、有限积、扩张序列的双极限、收缩甚至所谓的拟收缩下都是封闭的。但是……omega-QRB 不是 Cartesian 闭的。我们最后指出，QRB 域仅仅是 FS 域的一半，仅缺乏控制性。
引用
@article{arxiv.1202.2287,
title = {QRB-Domains and the Probabilistic Powerdomain},
author = {Jean Goubault-Larrecq},
journal= {arXiv preprint arXiv:1202.2287},
year = {2015}
}
备注
32 pages, 7 figures. An extended abstract already appeared in Proc. 25th Annual IEEE Symposium on Logic in Computer Science (LICS'10)