Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics
Draheim, Dirk
2017
https://doi.org/10.1007/978-3-642-55198-7
http://www.ester.ee/record=b4671951*est