TY  - JOUR

T1  - On Kleisli liftings and decorated trace semantics

JO  - Electronic Notes in Theoretical Informatics and Computer Science

UR  - https://doi.org/10.46298/entics.14751

PY  - 2024/12/11

AU  - Luckhardt D

AU  - Beohar H

AU  - Küpper S

ED  - 

DO  - DOI: 10.46298/entics.14751

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - Volume 4 - Proceedings of...

Y2  - 2025/01/05

ER  -