Higher-Order Termination: From Kruskal to Computability.

Frdric Blanqui, Jean-Pierre Jouannaud, Albert Rubio

Browse the full LPAR paper archive.