The second International Workshop on Higher-Order Rewriting

HOR 2004
June 2, 2004, Aachen, Germany

---

Accepted Abstracts

---

• FD à la Melliès

  Vincent van Oostrom
  
  

• Strong normalization in the rho-cube: the first-order system

  Benjamin Wack
  
  

• Termination of simply-typed applicative term rewriting systems

  Takahito Aoto Toshiyuki Yamada
  
  

• Unification and matching modulo type isomorphism

  Dan Dougherty and Carlos C. Martínez
  
  

• Pure type systems, cut and explicit substitutions

  Romain Kervarc and Pierre Lescanne
  
  

• PSN implies SN

  Emmanuel Polonovski
  
  

• Deriving strong normalization

  Stéphane Lengrand
  
  

• Higher-order rewriting with types and arities

  Jean-Pierre Jouannaud, Femke van Raamsdonk and Albert Rubio,
  
  

• |_|

  Vincent van Oostrom, Kees-Jan van de Looij and, Marijn Zwitserlood,

---