型の理論入門

2019/09/03 マルレク・サブゼミ

概要:https://type-theory.peatix.com/
資料ダウンロード:

資料viewer

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

第二部:「型の理論入門」

「型の理論入門」のShort Movie

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)