Easy terms in the lambda calculus (1985)

by J G Jacopini, M Venturini Zilli
Venue:Fundamenta Informaticae, VIII