Lisp syntax is very close to the lambda calculus, and that's intentional.

The lambda calculus, being a tool for formal analysis and proof about computation, is probably not the best formalism to...