Ugo Dal Lago Gabriele Vanoni On randomised strategies in the λ-calculus. 100-116 2020 813 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2019.09.033 db/journals/tcs/tcs813.html#LagoV20