Proofs of strong normalization (1980)

by R Gandy
Venue:Essays on Combinatory Logic, Lambda Calculus and Formalism