Last Updated：2025/12/02
Researchers compared several lambda calculi to study the expressive power of different reduction strategies.
See correct answer
Researchers compared several lambda calculi to study the expressive power of different reduction strategies.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
研究者たちは、異なる還元戦略の表現力を調べるために、いくつかのラムダ計算の変種を比較した。
