Interpreting Lambda Calculus in Domain-Valued Random Variables.

Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott

Browse the full CSL paper archive.