Researchers compared several lambda calculi to study the expressive power of different reduction strategies.
研究者たちは、異なる還元戦略の表現力を調べるために、いくつかのラムダ計算の変種を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
