36 citations · 80 across the 8 of their papers we have counts for
1 paper · 1 filter
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…