Table of Contents
|
Coalgebraic Methods in Computer Science
Helle Hvid Hansen, Fabio Zanasi |
Front Matter |
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski |
1-22 |
Discrete Density Comonads and Graph Parameters
Samson Abramsky, Tomáš Jakl, Thomas Paine |
23-44 |
Coalgebraic Semantics for Nominal Automata
Florian Frank, Stefan Milius, Henning Urbat |
45-66 |
A Categorical Framework for Learning Generalised Tree Automata
Gerco Van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva |
67-87 |
Saturated Kripke Structures as Vietoris Coalgebras
H. Peter Gumm, Mona Taheri |
88-109 |
Algebraic Presentation of Semifree Monads
Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
110-132 |
Corecursion up-to via Causal Transformations
Damien Pous, Jurriaan Rot, Ruben Turkenburg |
133-154 |
Corecursive Algebras in Nature
Lawrence S. Moss, Victoria Noquez |
155-175 |
Stick Breaking, in Coalgebra and Probability
Bart Jacobs |
176-193 |
Designed by Inria-IES Team :  Hosted by HAL : 
|