References & Citations
Computer Science > Logic in Computer Science
Title: Differentials and distances in probabilistic coherence spaces
(Submitted on 26 May 2020 (v1), last revised 4 Aug 2022 (this version, v4))
Abstract: In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to compute the expectation of execution time in the weak head reduction of probabilistic PCF (pPCF). Next we apply a general notion of "local" differential of morphisms to the proof of a Lipschitz property of these morphisms allowing in turn to relate the observational distance on pPCF terms to a distance the model is naturally equipped with. This suggests that extending probabilistic programming languages with derivatives, in the spirit of the differential lambda-calculus, could be quite meaningful.
Submission history
From: Thomas Ehrhard [view email] [via LOGICAL proxy][v1] Tue, 26 May 2020 09:03:57 GMT (55kb)
[v2] Mon, 7 Feb 2022 17:54:18 GMT (101kb)
[v3] Mon, 23 May 2022 09:42:42 GMT (58kb)
[v4] Thu, 4 Aug 2022 22:46:01 GMT (110kb,D)
Link back to: arXiv, form interface, contact.