The mechanical evaluation of expressions: Landin on the lambda calculus. (1964)academic.oup.com5 pointsfanf22 years ago