(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Church encoding
高度な関数型プログラマはしばしば、ラムダ計算におけるデータや演算子の表現法を基礎技術として教える。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
