Semantics of the Probabilistic Typed Lambda Calculus

MLA

Draheim, Dirk. Semantics of the Probabilistic Typed Lambda Calculus. Springer Berlin Heidelberg, 2017.

APA

Draheim, D. (2017). Semantics of the Probabilistic Typed Lambda Calculus. Springer Berlin Heidelberg.

Chicago

Draheim, Dirk Semantics of the Probabilistic Typed Lambda Calculus. : Springer Berlin Heidelberg, 2017.