Search

• < Previous
• 1
• Next >

---

Acyclic Solos and Differential Interaction Nets

Thomas Ehrhard ; Olivier Laurent.

We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced&nbsp;[&hellip;]

---

Differentials and distances in probabilistic coherence spaces

Thomas Ehrhard.

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;]

---