3. CALCO 2009: Udine, Italy

Algebraic Effects and Recursive Equations

Theory of Coalgebra

Coinduction

Bisimulation

Stone Duality

Game Theory

Graph Transformation

Software Development Techniques

CALCO Tools Workshop

maintained by Schloss Dagstuhl LZI at University of Trier