Email Record: Semantics of the Probabilistic Typed Lambda Calculus :