Author of the publication

A Coalgebraic Foundation for Coinductive Union Types.

, , , , and . ICALP (2), volume 8573 of Lecture Notes in Computer Science, page 62-73. Springer, (2014)

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 software architecture for distributed control systems and its transition system semantics., , , and . SAC, page 159-168. ACM, (1998)Learning Probabilistic Automata Using Residuals., , and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 295-313. Springer, (2021)Automatic Human-Like Detection of Code Smells., , and . DS, volume 12986 of Lecture Notes in Computer Science, page 19-28. Springer, (2021)(Co)Algebraic Characterizations of Signal Flow Graphs., , , and . Horizons of the Mind, volume 8464 of Lecture Notes in Computer Science, page 124-145. Springer, (2014)MoCha: A Middleware Based on Mobile Channels., , , and . COMPSAC, page 667-673. IEEE Computer Society, (2002)An Algebra for Kripke Polynomial Coalgebras., , and . LICS, page 49-58. IEEE Computer Society, (2009)Enterprise Architecture Analysis with XML., , , , and . HICSS, IEEE Computer Society, (2005)A Language-Based Causal Model for Safety., , , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 290-307. Springer, (2022)Defining Context-Free Power Series Coalgebraically., , and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 20-39. Springer, (2012)A Reo Model of Software Defined Networks., , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 69-85. Springer, (2019)