Author of the publication

CIA Structures and the Semantics of Recursion.

, , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 312-327. Springer, (2010)

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

From Generic Partition Refinement to Weighted Tree Automata Minimization., , , and . CoRR, (2020)Behavioural Preorders via Graded Monads., , and . LICS, page 1-13. IEEE, (2021)Nominal Büchi Automata with Name Allocation., , , and . CONCUR, volume 203 of LIPIcs, page 4:1-4:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper).. CALCO, volume 139 of LIPIcs, page 2:1-2:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)., , and . CALCO, volume 270 of LIPIcs, page 21:1-21:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)On Well-Founded and Recursive Coalgebras., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 17-36. Springer, (2020)A Description of Iterative Reflections of Monads (Extended Abstract)., , and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 152-166. Springer, (2009)Higher-Order Mathematical Operational Semantics., , , , and . CoRR, (2024)Positive Data Languages., , and . MFCS, volume 272 of LIPIcs, page 48:1-48:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Linear-Time Nominal μ-Calculus with Name Allocation., , and . MFCS, volume 202 of LIPIcs, page 58:1-58:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)