Proceedings 5th International Workshop on Higher-Order Rewriting
  HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA (HOR 2006) and Paris - France (HOR 2007). 
Eduardo Bonelli (Universidad Nacional de Quilmes)
cs.LO cs.PL