combinatory logic

不可算名詞

(computer science) Model of computation based on combinators.

日本語の意味

コンビナトリ論理：結合子（コンビネーター）を基盤とした計算モデルおよびその理論。 / 組み合わせ論理：コンピュータサイエンスにおける、結合子を用いた計算理論の一種。

When studying the foundations of functional programming, we examined combinatory logic to understand computation without variables.

関数型プログラミングの基礎を学ぶ際、変数を使わない計算を理解するために結合子に基づく計算モデルを調べました。

意味（1）

(computer science) Model of computation based on combinators.