MLをほんとに理解しようとするとラムダ計算をいずれは理解しないとって思っています。
以前、人に薦められて「プログラム意味論」（横内寛文　著）を購入しました。
第２章がそれですが、独学ではきびしいです。
「関数プログラミング」（萩谷昌己　著）あたりならなんとかかんとかです。
チャーチってコンピューター出現以前に何を夢見ていたのでしょうね？