Interpreting Lambda Calculus in Domain-Valued Random Variables (Furber, Mardare, Panangaden, Scott, 2022)
