Optimal reductions in the lambda-calculus (1980)

by J-J Lévy
Venue:Combinatory Logic, Lambda Calculus and Formalism: Essays in honour of Haskell B. Curry