The First International Workshop on Higher-Order Rewriting

HOR 2002
July 21st, 2002, Copenhagen, Denmark

---

Electronic Proceedings

---

• Cover
• Preface
• Index
• The Rho Cube : some results, some problems
  Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
• Evaluation Strategies for Calculi with Explicit Pattern Matching and Substitutions
  Julien Forest
• Term Rewriting with Variable Binding
  Makoto Hamana
• Untyped Term Rewriting
  Daniel Leivant
• On head rewriting paths in the lambda-sigma calculus
  Paul-André Melliès
• Higher-Order Pattern Disunification Revisited
  Alberto Momigliano
• On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair technique
  Masahiko Sakai, Keiichirou Kusakari
  
  
• Invited talk by Joe Wells (slides)
• Invited talk by Vincent van Oostrom (slides)

---