より最近のコンビネータ論理とラムダ計算の比較についてはBarendregt(1984)を参照されたい(デイナ・スコットが60〜70年代に考案したコンビネータ論理のためのモデル理論についても触れている).
Barendregt