Jean-Pierre Jouannaud

Algebra, meaning, and computation

2006

Term rewriting

1995

Conditional Term Rewriting Systems

1993

Functional Programming Languages and Computer Architecture

1991