Journal of Logic and Algebraic Programming, Volume 54

Volume 54, Number 1-2, January - February 2003

• Ralf Lämmel:
  Typed generic traversal with term rewriting strategies. 1-64
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
  Revisiting the notion of function. 65-107
  Electronic Edition (link) BibTeX
• C. A. Middelburg:
  Revisiting timing in process algebra. 109-127
  Electronic Edition (link) BibTeX