The Third International Workshop on Higher-Order Rewriting

HOR 2006
August 15, 2006, Seattle, USA

---

Electronic Proceedings

---

• Cover
• Preface and Index
  
  
• Invited talk by Hugo Herbelin
  The duality of computation
  
  
• Invited talk by Eelco Visser
  Dynamic rewrite rules
  
  
• Embedding the finitary Pi-calculus in differential interaction nets
  Thomas Ehrhard and Olivier Laurent
  
  
• Uncurrying for termination
  Nao Hirokawa and Aart Middeldorp
  
  
• Typing the pattern calculus
  Barry Jay
  
  
• Quantifying the benefits of sub-typing
  Barry Jay
  
  
• Proving PSN by simulating non-cal substitution with local substitution
  Shane O'Conchuir
  
  
• Non-deterministic Bohm trees
  Caroline Priou
  
  

---