型理論
teorie typů
先進数学の講義では、型理論とその論理への応用について詳しく検討しました。
In the advanced mathematics lecture, we examined type theory in detail and its application in logic.
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
