> what Lisp is to Lambda calculus

It's more like what Binary Lambda Calculus is to lambda calculus. See my IOCCC entry

http://www.ioccc.org/2012/tromp/tromp.c

http://www.ioccc.org/2012/tromp/hint.html

which happens to include a Brainfuck interpreter...