sur 11
Semantics of the Probabilistic Typed Lambda Calculus — Dirk Draheim