Αποστολή με SMS: High-order operational techniques in semantics