The First International Workshop on Higher-Order Rewriting

HOR 2002

July 21st, 2002, Copenhagen, Denmark

---

Accepted Abstracts

---

• 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
  
  

• Evaluation Strategies for Calculi with Explicit Pattern Matching and Substitutions

  Julien Forest
  
  

• On Proving Termination of Higher-Order Rewrite Systems by Dependency Pair technique

  Masahiko Sakai, Keiichirou Kusakari
  
  

• The Rho Cube : some results, some problems

  Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
  
  

• Term Rewriting with Variable Binding

  Makoto Hamana

---