APA (7th ed.) Citation

Draheim, D. (2017). Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics. Springer Berlin Heidelberg : Imprint: 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 Berlin Heidelberg : Imprint: Springer, 2017.

MLA (8th ed.) Citation

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

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