Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics | DealShopping Deutschland