WADT 2001 (2001 Genoa, Italy)

• Recent trends in algebraic development techniques