2021-07-16 Girard's paradoxについて 計算機科学 pdfを書きました.龍田「型理論」の9章を行間を埋めつつ,これ単体で完結するようにまとめたものです. drive.google.com