أرسل هذا في رسالة قصيرة: Higher semantics of quantum protocols