Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics - Draheim, Dirk. (Springer Berlin Heidelberg : Imprint: Springer, 2017)