Proofs of strong normalization. In: To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, 457--477 (1980)

by R Gandy
Venue:Proc