Boolean-Valued Semantics for the Stochastic λ-Calculus.

Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott

Browse the full LICS paper archive.