Skip to Main content Skip to Navigation

 

Table of Contents
 


Full Text Documents

Chargement de la page

Search

Chargement de la page
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

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/