A representation of a natural number using lambda notation.
Church numeral
純粋なラムダ計算のインタプリタで算術を実装するために、彼女は各数をラムダ式による自然数の表現として符号化した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★