类型论相关图书会按更新时间、出版时间和评分持续整理，适合从主题维度系统浏览。
Proofs and Types
Jean-Yves Girard, Yves Lafont, Paul Taylor
评分 暂无
Marin-Lof类型论程序设计导引
Bengt Nordstrom
