Interpreting Lambda Calculus in Domain-Valued Random Variables