Semantics of the Probabilistic Typed Lambda Calculus