To implement arithmetic in a pure lambda calculus interpreter, she encoded each number as a Church numeral.
純粋なラムダ計算のインタプリタで算術を実装するために、彼女は各数をラムダ式による自然数の表現として符号化した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
