The untyped lambda calculus is functionally complete because it can compute any recursive function.
無型ラムダ計算は任意の再帰関数を計算できるため、関数的に完全である。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
