Davide Ancona (auth.), José Luiz Fiadeiro (eds.)

Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT’98 Lisbon, Portugal, April 2–4, 1998 Selected Papers