SMS versenden: Type-Logical Semantics /