论文标题
概率相干空间中收敛的上部近似概率
Upper approximating probabilities of convergence in probabilistic coherence spaces
论文作者
论文摘要
我们开发了一个配备了额外的延伸结构的概率相干空间的理论，并将其应用于概率PCF地面类型程序的收敛概率，其自由变量是地面类型的。为此，我们定义了Krivine机器的改编版，该版本计算模型中这些程序语义的多项式近似值。这些多项式提供了从融合概率下和上方提供的近似值；通过使用误差符号扩展语言，该语言在模型中最大程度地扩展。
We develop a theory of probabilistic coherence spaces equipped with an additional extensional structure and apply it to approximating probability of convergence of ground type programs of probabilistic PCF whose free variables are of ground types. To this end we define an adapted version of Krivine Machine which computes polynomial approximations of the semantics of these programs in the model. These polynomials provide approximations from below and from above of probabilities of convergence; this is made possible by extending the language with an error symbol which is extensionally maximal in the model.
