APA (7th ed.) Citation

Draheim, D. (2017). Semantics of the probabilistic typed lambda calculus: Markov chain semantics, termination behavior, and denotational semantics. Springer.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Draheim, Dirk. Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics. Springer, 2017.

Warning: These citations may not always be 100% accurate.