余談だけど、λ式はそんな難しくないよ。
ウィキペディアにも「ラムダ計算」の項目あるから読んでみ。

ttp://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97