WADT 2014

22nd International Workshop on Algebraic Development Techniques

Sinaia, Romania,September 4-7,2014