Interpreting Lambda Calculus in Domain-Valued Random Variables

Robert Furber, Radu Mardare, Prakash Panangaden +1

We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction r…