An early proof of normalization by A. M. Turing (1980)

by R O Gandy
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and