Jean-Pierre Jouannaud

• Algebra, meaning, and computation
• Conditional Term Rewriting Systems
• Conditional term rewriting systems
• Functional Programming Languages and Computer Architecture
• Rewriting Techniques and Applications
• Term rewriting
• Certified Programs and Proofs
• Functional programming languages and computer architecture