You are about to access our book library "Recent Trends in Algebraic Development Techniques: 15th International Workshop, Wadt 2001, Joint with the Cofi Wg Meeting, Genova, Italy, April 1-3, 2001. Selected Papers full version" .