HOR
04
The Second International Workshop on Higher-Order Rewriting
June 2, 2004, Aachen, Germany
Held in conjunction with
RDP 2004
Vincent van Oostrom
Benjamin Wack
Femke van Raamsdonk
Toshiyuki Yamada
Mark-Oliver Stehr
Daniel Dougherty
Romain Kervarc
Emmanuel Polonovski
Stéphane Lengrand
Jan-Willem Klop
Mariangola Dezani
