Search

• < Previous
• 1
• Next >

Differentials and distances in probabilistic coherence spaces

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&nbsp;[&hellip;]