Semantics of the Probabilistic Typed Lambda Calculus. 1st ed. 2017 - Draheim, Dirk (Springer Berlin Heidelberg, 2020)