Higher order operational techniques in semantics | lit.salon