Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Categorical Foundation for Structured Reversible Flowchart Languages., and . MFPS, volume 341 of Electronic Notes in Theoretical Computer Science, page 155-171. Elsevier, (2018)The Quantum Effect: A Recipe for QuantumPi., , , and . CoRR, (2023)Reversible Programs Have Reversible Semantics., , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 413-427. Springer, (2019)A categorical foundation for structured reversible flowchart languages: Soundness and adequacy., and . Logical Methods in Computer Science, (2018)From reversible programming languages to reversible metalanguages., , and . Theor. Comput. Sci., (2022)Universal Properties of Partial Quantum Maps., , and . QPL, volume 394 of EPTCS, page 192-207. (2022)Combinatory Adjoints and Differentiation., , , , and . MSFP@ETAPS, volume 360 of EPTCS, page 1-26. (2022)Graph Traversals as Universal Constructions., and . MFCS, volume 202 of LIPIcs, page 17:1-17:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Inversion, Iteration, and the Art of Dual Wielding.. RC, volume 11497 of Lecture Notes in Computer Science, page 34-50. Springer, (2019)Quantum information effects., and . Proc. ACM Program. Lang., 6 (POPL): 1-27 (2022)