> the programming language LISP, based closely on the λ calculus. I would say LISP is at best loosely based on the λ calculus. David Turner discusses LISP in

> the programming language LISP, based closely on the λ calculus. I would say LISP is at best loosely based on the λ calculus. David Turner discusses LISP in Section 2 of [1]. The subsection "Some Myths about LISP" debunks the link between LISP and lambda calculus. McCarthy added LAMBDA to LISP without an understanding of the lambda calculus, and a result got scoping wrong (dynamic). Eventually, LISP did adopt the correct lexical scoping. [1] https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf