a convenient category for higher - order probability theory .
A lambda-calculus foundation for universal probabilistic programming