Semantics of the Probabilistic Typed Lambda Calculus

Dirk Draheim

Semantics of the Probabilistic Typed Lambda Calculus - Springer Springer 2017

9783642551987

EBOOK