LNCS 12094 - Coalgebraic Methods in Computer Science

Table of Contents

Coalgebraic Methods in Computer Science *Daniela Petrişan, Jurriaan Rot*	Front Matter
Semantics for First-Order Affine Inductive Data Types via Slice Categories *Vladimir Zamdzhiev*
The Theory of Universal Graphs for Games: Past and Future *Nathanaël Fijalkow*	1-10
Approximate Coalgebra Homomorphisms and Approximate Solutions *Jiří Adámek*	11-31
Duality for Instantial Neighbourhood Logic via Coalgebra *Nick Bezhanishvili, Sebastian Enqvist, Jim Groot*	32-54
Free-Algebra Functors from a Coalgebraic Perspective *H. Gumm*	55-67
Learning Automata with Side-Effects *Gerco Heerdt, Matteo Sammartino, Alexandra Silva*	68-89
De Finetti’s Construction as a Categorical Limit *Bart Jacobs, Sam Staton*	90-111
Injective Objects and Fibered Codensity Liftings *Yuichi Komorida*	112-132
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas *Barbara König, Christina Mika-Michalski, Lutz Schröder*	133-154
A Categorical Approach to Secure Compilation *Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens*	155-179
Semantics for First-Order Affine Inductive Data Types via Slice Categories *Vladimir Zamdzhiev*	180-200

Full Text Documents