Â鶹ÊÓƵ

Journal articles

• Luckhardt D (2021) . Annals of Global Analysis and Geometry, 60(3), 687-708.
• Luckhardt D, Beohar H & Küpper S () . Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of....

Chapters

• Insall M & Luckhardt D (2021) , Proceedings of the conference Contemporary Mathematics in Kielce 2020, February 24-27 2021 (pp. 157-178). Sciendo

Preprints

• Luckhardt D, Beohar H & Küpper S (2024) On Kleisli liftings and decorated trace semantics, arXiv.