ZBMaCT中的参考文献（106篇文章中引用）

1. Cockx，杰斯珀；Devriese，Dominique；Pixes，弗兰克：UNIFIER等价：依赖类型数据的证明相关统一（2016）
2. 亚瑟：局部无名表示（2012）
3. Crole，Roy L.：α等价等式（2012）
4. 费尔蒂，艾米；莫米利亚诺，阿尔伯托：杂种。高阶抽象语法推理的两级定义方法（2012）
5. MOCZYD OWSKI，WojCiCH：通过依赖类型统一集合和程序（2012）
6. 波拉克，兰迪；萨托，MasaHIKO；Ricciotti，WiMel:一个规范的局部命名的结合表示（2012）
7. Ranta，AARNE：机器翻译和类型理论（2012）
8. 阿贝尔，安德烈亚斯；Altenkirch，ToStest:类型的部分类型检查算法：类型（2011）
9. 丹尼斯，Louise Abigail；Green，伊恩；Smaill，艾伦：使用嵌入来为高阶波纹提供术语和注释的干净分离（2011）
10. Lengrand，Jean Eric，Dyckhoff，罗伊；麦金纳，杰姆斯：纯类型系统中证明搜索的一个有重点的连续演算框架（2011）
11. Sozeau，马蒂厄：方程：依赖模式匹配编译器（2010）
12. Asperti，A；Ricciotti，W；Sacerdoti Coen，C；TAsie，E.：归纳结构演算的紧致核（2009）
13. Chapman，杰姆斯：类型理论应该自食其果（2009）
14. Goever，H:证明助理：历史、思想和未来（2009）
15. 罗、昭晖：内涵类型理论的显化场与模机制（2009）
16. MOCZYD OWSKI，WojCiCH：通过依赖类型统一集合和程序（2009）
17. 农民、William M.：简单型理论的七大美德（2008）
18. 罗，Zhaohui；亚当斯，罗宾：归纳型的结构子类型与函数相等规则（2008）
19. Nanevski，Aleksandar；莫里塞特，格雷戈；Shinnar，阿夫拉罕；政府，保罗；伯克达尔，拉尔斯：YNO:命令式程序的依赖类型（2008）
20. 阿贝尔，安德烈亚斯：TWELL（2007）中简单类型LAMBDA演算的规范化