Termination Tests inside lambda-Calculus.

Corrado Bhm, Mario Coppo, Mariangiola Dezani-Ciancaglini

Browse the full ICALP paper archive.