zbMATH参考文献（参考

1. Cockx，Jesper；Devriese，Dominique；Piessens，Frank：《等效统一：独立类型数据的相关统一证明》（2016）
2. 亚瑟·查盖罗：《本地无名代表》（2012）
3. Crole，Roy L.：阿尔法等价性（2012）
4. 费蒂，艾米；莫米格里亚诺，阿尔伯托：混血儿。高阶抽象语法推理的定义两级方法（2012）
5. Moczydłowski，Wojciech:通过依赖类型统一集合和程序（2012）
6. 波拉克，兰迪；佐藤，Masahiko；Ricciotti，Wilmer:一种规范的局部命名的绑定表示（2012）
7. Ranta，Aarne:机器翻译与类型理论（2012）
8. Abel，Andreas；Altenkirch，Thorsten:类型的部分类型检查算法（2011）
9. Dennis，Louise Abigail；Green，Ian；Smaill，Alan：使用嵌入为高阶涟漪提供术语和注释的清晰分离（2011）
10. Lengrand，Stéphane-Jean-Eric；Dyckhoff，Roy；McKinna，James:纯类型系统中证据搜索的集中顺序演算框架（2011）
11. Sozeau，Matthieu：方程：依赖模式匹配编译器（2010）
12. Asperti，A.；Riccotti，W.；Sacerdoti-Coen，C.；Tassi，E.：归纳结构微积分的紧凑内核（2009）
13. 查普曼，詹姆斯：类型理论应该自食其果（2009）
14. Geuvers，H.：证明助理：历史、想法和未来（2009）
15. 罗兆辉：内涵型理论中的表现域与模块机制（2009）
16. Moczydłowski，Wojciech:通过依赖类型统一集合和程序（2009）
17. 威廉M.法默：简单类型理论的七个优点（2008）
18. 罗兆辉；亚当斯，罗宾：具有函数等式规则的归纳型结构子型（2008）
19. Nanevski，Aleksandar；Morrisett，Greg；Shinnar，Avraham；Govereau，Paul；Birkedal，Lars:Ynot:命令式程序的依赖类型（2008）
20. Abel，Andreas:Twelf中简单类型lambda演算的规范化（2007）