Reading: Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423) full version

You are about to access our book library "Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423) full version" .