Lambda Calculus and Probabilistic Computation

Claudia Faggian, Simona Ronchi della Rocca

We introduce two extensions of the $\lambda$-calculus with a probabilistic choice operator, ${\Lambda }_{\oplus }^{cbv}$ and ${\Lambda }_{\oplus }^{cbn}$, modeling respectively call-by-value and call-by-name pr…