Αποστολή με SMS: Typed Lambda Calculi and Applications