Church numeral

名詞

A representation of a natural number using lambda notation.

日本語の意味

ラムダ記法を用いて自然数を表現するもの

To implement arithmetic in a pure lambda calculus interpreter, she encoded each number as a Church numeral.

純粋なラムダ計算のインタプリタで算術を実装するために、彼女は各数をラムダ式による自然数の表現として符号化した。

意味（1）

A representation of a natural number using lambda notation.

Church numerals

（ plural ）