3rd CALCO 2009: Udine, Italy

Refine list

showing all ?? records

Algebraic Effects and Recursive Equations

Theory of Coalgebra

Coinduction

Bisimulation

Stone Duality

Game Theory

Graph Transformation

Software Development Techniques

CALCO Tools Workshop

a service of  Schloss Dagstuhl - Leibniz Center for Informatics