ZBMaX中的参考文献（382篇）5篇标准文章）

1. 凯利森、艾莉尔、比克福德、马克、康斯特布尔、罗伯特：在类型论中实现欧几里得直线和罗盘结构（2019）
2. Kun-ar，On.EJ；波佩斯库，安德列：从高阶逻辑中的局部类型定义到类型集（2019）
3. Miller、Dale：机械化元理论再探（2019）
4. Rahli，Vincent；比克福德，马克；科恩，LRIN；警官，Robert L.：条形归纳法与建构型理论兼容（2019）
5. Angiuli，Carlo；Harper，罗伯特：高维意义解释（2018）
6. Avelar da Silva，安德烈亚B；利马，Thaynara Arielly；加尔迪诺，安德烈路易斯：PVS中的环理论的形成（2018）
7. Avron，阿尔农河；科恩，LRIN：集合最小计算理论中的可应用数学（2018）
8. Carette，贾可；农民，William M.；拉斯科夫斯基，帕特里克：霍尔光QE（2018）
9. 农民、William M.：教会理论的引用与评价（2018）
10. Harper、罗伯特：开放世界中的例外追踪（2018）
11. Rahli，Vincent；比克福德，马克：用命名异常验证布劳沃的连续性原理（2018）
12. Rahli，文森特；科恩，LRIN；BikFrand，马克：由单调库支持的验证定理证明器后端（2018）
13. Shankar、Natarajan：模型检验与演绎的结合（2018）
14. 伯杰，Ulrich；Hou，领带：教会简单类型论的可实现性解读（2017）
15. 巴斯，Samuel R.（ED）；Iemhoff，Rosalie（ED）；科伦巴赫，Ulrich（ED）；Rathjen，米迦勒（ED）：数学逻辑学：证明理论，建构数学。11月5日举行的研讨会摘要（11, 2017）（2017）
16. Caulrier-RAPHA；杜布瓦，凯瑟琳：聚焦和DeDukTI用于证明互用性的拯救（2017）
17. 达根，Pierre Evariste：装饰品的本质（2017）
18. M·勒勒，丹尼斯；高蒂尔，蒂鲍特；卡利斯克，Cezary；Kohlhase，米迦勒；拉贝，弗洛里安：形式数学系统概念之间的排列分类（2017）
19. 残根，亚伦：依赖λ消除的演算（2017）
20. Angiuli，Carlo；莫尔豪斯，爱德华；利卡塔，Daniel R.；哈珀，罗伯特：同伦补片理论（2016）