元となった辞書の項目
Church encoding
名詞
可算名詞
不可算名詞
日本語の意味
(数学) ラムダ計算内で数学的構造に組み込まれた方法により、データおよび演算子を表現する手法 / ラムダ計算におけるデータと演算子の表現方法として、数学的構造を利用する技法
（ plural ）
（ plural ）
DiQt（ディクト）
無料
★★★★★★★★★★
