===================
  J.C. van de Pol
===================

- Jaco
- geboren 1969

- promotie Utrecht 11.12.1996
- proefschrift: Termination of higher-order rewrite systems. 
- promotor: J.A. Bergstra; copromotor: M.A. Bezem