>>28
計算可能性問題にも興味はありますが、
実際のところは、関数型言語の理論（ラムダ記法など）的背景を知りたい
というのが理由です。