Type Theoryについてのノートです.

Current Version: 0.1.6.4

ノートのキリが良くなったところでtagを付けてmasterブランチに対してpushします.
作業中のノートはdevelopブランチに置いてあります.

Table of Contents

• category.pdf: Category Theory (Preliminaries)
• preliminaries.pdf: Preliminaries
• untyped.pdf: Untyped lambda calculus
• simply.pdf: Simply-typed lambda calculus
• monad.pdf: Monadic lambda calculus

etc

• ccc-soundness-lemma.pdf: CCC modelのsoundnessに関する補足
• eq-cat-approx-alg.pdf: ApproxとAlgが圏同値であること
• iso-on-cpt-fp.pdf: Finitary Projectionsの作る同型について

連絡等

間違い, 指摘, アドバイス, 連絡または報告等は,
issueを立てるかGithubのユーザーページ記載のメールアドレスまでお願いします.