Αποστολή με SMS: Type-logical semantics