English Dictionary

lambda term

名詞

(computing theory) A well-formed formula in the language of a lambda calculus.

日本語の意味

ラムダ計算における正確に構成された式、すなわちラムダ計算の言語における厳密な形式の式

When optimizing functional programs, the compiler analyzes each lambda term to determine opportunities for beta-reduction.

関数型プログラムを最適化する際、コンパイラは各ラムダ項を解析してベータ簡約の機会を検出します。

意味（1）

(computing theory) A well-formed formula in the language of a lambda calculus.

A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.

lambda terms （ plural ）