型の理論入門 (トーキー版)

2019年9月に公開した「型の理論入門 (サイレント版)」を順次、トーキー版に置き換えていきます。

2021/11/26 マルゼミ「認識の認識」参考資料

「型の理論入門 (トーキー版)」

これから追加していきます。お待ちください。

「型の理論入門 (サイレント版)」

1. 「型のないラムダ計算1」Youtube PDF
2. 「型のないラムダ計算2」 (Youtube PDF)
3. 「型付きラムダ計算」 (Youtube PDF)
4. 「論理的推論1 — 判断と論理式」 (Youtube PDF)
5. 「論理的推論2 — Natural Deduction」 (Youtube PDF)
6. 「Curry-Howard対応1」 (Youtube PDF)
7. 「Curry-Howard対応2 –「型」と「証明」」 (Youtube PDF)
8. 「Dependent Type Theory」 (Youtube PDF)
9. 「Homotopy Type Theory」 (Youtube PDF)

参考資料

「数学の基礎の探求 — CantorからVoevodskyまで」

「型の理論入門」