O'Reilly Japan - アンダースタンディング コンピュテーション
https://www.oreilly.co.jp/books/9784873116976/

ラムダ計算のところ（6章）を読み返してる