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