Αποστολή με SMS: Semantics of the Probabilistic Typed Lambda Calculus