Lambda-Calculus and Combinators: An Introduction はお奨めでしょうか?
look insideしたら簡単に書いてくれてる気がする