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