概率相干空间中收敛概率的上近似
计算机科学中的逻辑
2020-08-12 v1 编程语言
摘要
我们发展了配备额外外延结构的概率相干空间理论，并将其应用于近似概率 PCF 的基类型程序的收敛概率，这些程序的自由变量均为基类型。为此，我们定义了 Krivine 机的一个适配版本，该机器在模型中计算这些程序语义的多项式近似。这些多项式提供了收敛概率的从下和从上近似；这是通过用错误符号扩展该语言而成为可能的，该错误符号在模型中是外延极大的。
引用
@article{arxiv.2008.04534,
title = {Upper approximating probabilities of convergence in probabilistic coherence spaces},
author = {Thomas Ehrhard},
journal= {arXiv preprint arXiv:2008.04534},
year = {2020}
}