Enviar Registro por Correo electrónico: Semantics of the Probabilistic Typed Lambda Calculus :