Optimal reductions in the lambda-calculus (1980)

by L' evy, J-J
Venue:In To H-.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism