combinatory logic

Noun

uncountable

(computer science) Model of computation based on combinators.

Japanese Meaning

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

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

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

Sense（1）

(computer science) Model of computation based on combinators.