Draheim, D. (2017). Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics (1st ed. 2017.). Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style CitationDraheim, Dirk. Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics. 1st ed. 2017. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2017.
MLA CitationDraheim, Dirk. Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics. 1st ed. 2017. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2017.
Warning: These citations may not always be 100% accurate.