zbMATH中的参考文献（引用于，5标准条款)

1. 伯杰，乌尔里希；徐木彦：直觉不动点逻辑（2021）
2. Basin，David A.；Lochbihler，Andreas；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
3. Johansson，Moa：归纳引理的发现。调查（2019年）
4. Kellison，Ariel；Bickford，Mark；Constable，Robert:在类型论中实现欧几里得的直尺和罗盘构造（2019）
5. Kunčar，Ondřej；Popescu，Andrei:高阶逻辑中局部类型定义从类型到集合（2019）
6. 米勒，戴尔：重温机械化元理论（2019）
7. Rahli，Vincent；Bickford，Mark；Cohen，Liron；Constable，Robert L.：酒吧归纳法与建构型理论兼容（2019）
8. Reynolds，Andrew；Kuncak，Viktor；Tinelli，Cesare；Barrett，Clark；Deters，Morgan：SMT中基于反驳的合成（2019）
9. 安圭利，卡罗；哈珀，罗伯特：更高维度的意义解释（2018）
10. Avelar da Silva，Andréia B.；de Lima，Thaynara Arielly；Galdino，AndréLuiz:PVS中的形式化环理论（2018）
11. Avron，Arnon；Cohen，Liron:最小计算集合理论中的应用数学（2018）
12. 马克·比克福德；科恩·利伦；康斯特布尔，罗伯特·L.；拉赫里，文森特：《通过选择序列超越丘奇图灵的可计算性》（2018）
13. Carette，雅克；Farmer，William M.；Laskowski，Patrick:HOL Light QE（2018年）
14. Farmer，William M.：将引用和评价纳入Church的类型理论（2018）
15. Harper，Robert:开放世界中的异常跟踪（2018）
16. Rahli，Vincent；Bickford，Mark:使用命名异常验证Brouwer对数字的连续性原则（2018）
17. Rahli，Vincent；Cohen，Liron；Bickford，Mark：由单调库支持的已验证定理证明器后端（2018）
18. Shankar，Natarajan:模型检验与演绎相结合（2018）
19. Berger，Ulrich；Hou，Tie:Church简单类型理论的可实现性解释（2017）
20. Buss，Samuel R.（编辑）；Iemhoff，Rosalie（编辑）；Kohlenbach，Ulrich（编辑）；Rathjen，Michael（编辑）：数理逻辑：证明理论，建构数学。2017年11月5日至11日（2017年）研讨会摘要