Αποστολή με SMS: Domains and lambda-calculi