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