Proceedings 5th International Workshop on Higher-Order Rewriting
arXiv:1102.3465 · doi:10.4204/EPTCS.49
Abstract
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).