Semantics of the Probabilistic Typed Lambda Calculus - Dirk Draheim (Springer, 2017)