HOR 04

The Second International Workshop on Higher-Order Rewriting

June 2, 2004, Aachen, Germany

Held in conjunction with RDP 2004