In the lecture, the professor explained how lambda terms can be reduced to normal form.
講義で教授は、ラムダ式が正規形に簡約される仕組みを説明した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
