HOR 02

The First International Workshop on Higher-Order Rewriting

July 21st, 2002, Copenhagen, Denmark

Held in conjunction with FLOC'02