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

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

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

• 第一部：「数学の基礎の探求 -- CantorからVoevodskyまで」
• 第二部：「型の理論入門」

資料viewer

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

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

「型の理論入門」のShort Movie

こちらの動画ページで一覧がすぐ見れます。

１.　「型のないラムダ計算１」 （Youtube PDF）
２.　「型のないラムダ計算２」 (Youtube PDF)
３.　「型付きラムダ計算」 (Youtube PDF)
４.　「論理的推論１ -- 判断と論理式」 (Youtube PDF)
５.　「論理的推論２ -- Natural Deduction」 (Youtube PDF)
６.　「Curry-Howard対応１」 (Youtube PDF)
７.　「Curry-Howard対応２ --「型」と「証明」」 (Youtube PDF)
８.　「Dependent Type Theory」 (Youtube PDF)
９.　「Homotopy Type Theory」 (Youtube PDF)