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