Last Updated：2025/11/20
(computing theory) Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
lambda calculus
Edit Histories（0）
Source Word
lambda calculus
Noun
countable
uncountable
Japanese Meaning
形式的な代数体系の一種で、固定された規則に従いラムダ式を評価して値を導出する計算理論のモデル。 / 関数抽象と適用の原理に基づく、関数型計算やプログラミングにおける基礎理論となるシステム。
（ plural ）
