Confluence and Normalisation for higher-order rewriting. Thèse de doctorat, Vrije Universiteit (1996)

by Femke van Raamsdonk