[hbk]

Also Y Combinator is a technique to do recursion on lambda calculus which lisp is built upon.

[deterministic]

Haskell (and other functional languages) is also built on the lambda calculus. Lisp isn't special in that regard.