On randomised strategies in the $\lambda$-calculus (long version)

Ugo Dal Lago, Gabriele Vanoni

In this work we study randomised reduction strategies,a notion already known in the context of abstract reduction systems, for the $\lambda$-calculus. We develop a simple framework that…