Last Updated：2025/12/02
(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Church encoding
Edit Histories（0）
Source Word
Church encoding
Noun
countable
uncountable
Japanese Meaning
(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法
（ plural ）
