Coalgebraic Methods in Computer Science: 15th Ifip Wg 1.3 International Workshop, Cmcs 2020, Colocated with Etaps 2020, Dublin, Ireland, April 25-26,

ISBN-13: 9783030572006 / Angielski / Miękka / 2020 / 201 str.

Daniela Petrişan; Jurriaan Rot

Spis treści

The Theory of Universal Graphs for Games: Past and Future.- Approximate coalgebra homomorphisms and approximate solutions.- Duality for Instantial Neighbourhood Logic via Coalgebra.- Free-algebra functors from a coalgebraic perspective.- Learning Automata with Side-Effects.- De Finetti's Construction as a Categorical Limit.- Injective Objects and Fibered Codensity Liftings.- Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.- A categorical approach to secure compilation.- Semantics for rst-order a ne inductive datatypes via slice categories.