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

---

Probabilistic call by push value

Thomas Ehrhard ; Christine Tasson.

We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both call-by-name and call-by-value and featuring&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;]

---