Dana Scott on the lambda calculus, then and now [pdf]