Easy terms in the lambda-calculus (1985)

by G Jacopini, M Venturini-Zilli
Venue:Fundamenta Informaticae