ラムダ計算と組み合わせロジックは同じですか？

私は現在、ヒンドリーとセルディンの「ラムダ計算と結合子」を読んでいます。私は専門家ではありませんが、関数型プログラミング（LispとSICPから始まり、現在はRとHaskellに関係している）のため、ラムダ計算に常に関心を持っています。

「バイナリラムダ計算と組み合わせロジック」では、John Trompは次のように述べています。

CLは、ラムダ計算のサブセットと見なすことができます。理論はほとんど同じであり、拡張性の規則が存在する場合は同等になります。

どのような条件下で、ラムダ計算の代わりに組み合わせロジックを使用しますか？

すべての参考文献をいただければ幸いです。

組み合わせロジックを区別するのは、変数がないことです。これは、変数の状態が扱いにくいメタ数学や哲学的論理で役立つ場合があります。

また、変数の管理は頭痛の種になる可能性があるため、実装でも役立つ場合があります。Cf.、例えば、ヒューズ、1982、スーパーコンビネーター：適用可能な言語の新しい実装方法

John Trompのコメントを参照して、私は組み合わせロジックがラムダ計算とは非常に異なると感じていることに注意したいと思います。興味は関数型プログラミングに由来するため、組み合わせロジックについてあまり知りたくありません。

組み合わせ論理に関する私のお気に入りのチュートリアルは、ケンブリッジ大学の講義ノートにあります。

ただし、いわゆる遅延（または適用可能）言語の実装を説明するために導入されています。以前のコメントで述べたように、そのような手法は今では時代遅れです。