ラムダ計算＝LISP　ではないので、スレ違い。
ラムダ計算の話がしたいのなら、数学とかの板へ池。