Pošljite SMS: Type-Logical Semantics /