M. C. J. D. van Eekelen

• Interactive Theorem Proving
• Term graph rewriting
• Trends in functional programming