Cita APA

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.

Citación estilo Chicago

Draheim, 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.

Cita MLA

Draheim, 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.