TY - GEN T1 - On Kleisli liftings and decorated trace semantics T2 - arXiv PY - 2024/11/13 AU - Luckhardt D AU - Beohar H AU - K眉pper S ED - Y2 - 2025/05/24 ER -