Lisp does not equal lambda calculus
danielsz.github.io
danielsz.github.io
Lisp is useful even when it wrongly implements lambda calculus, with all bindings being dynamically scoped so that it only relates to lambda calculus via the naming of the lambda symbol.