lambda term

Noun

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Sense（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.

Google Translation / DeepL Translation

Details

lambda terms

（ plural ）

Details

lambda term

Dictionary quizzes to help you remember vocabulary

Login / Sign up

Download the app!

lambda term

Dictionary quizzes to help you remember vocabulary

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!