大堀さんの本は独学にはつらいと思う。
型理論・意味論・λ計算はある程度理解してるつもりだが、あの本は挫折した。