I certainly thought about lambda calculus. My current thinking is that is really a mathematical construct, not software. LISP was where it seriously got imple

I certainly thought about lambda calculus. My current thinking is that is really a mathematical construct, not software. LISP was where it seriously got implemented, and I already have that listed.