概率一致性空间中的差异和距离
摘要：概率连贯空间中，作为概率函数语言的含义模型，态射是分析的，因此是光滑的。我们探索了相应导数的两个相关应用。首先，我们展示了如何通过导数来计算概率PCF（pPCF）的弱头缩减的执行时间的期望。接下来，我们将“局部”态射的微分的一般概念应用于证明这些态射的Lipschitz性质，从而将pPCF术语上的观察距离与模型自然配备的距离联系起来。这表明，在类似微分λ演算的精神下，通过导数将概率编程语言扩展的做法可能是有意义的。
作者：Thomas Ehrhard
论文ID：2005.12582
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22