zbMATH中的参考文献（参考文献390篇,5标准条款)

1. 伯杰，乌尔里希；Tsuiki，Hideki:直觉不动点逻辑（2021）
2. 盆地，大卫A。；洛赫比勒，安德烈亚斯；Sefidgar，S.Reza:密码：高阶逻辑中基于博弈的证明（2020）
3. Johansson，Moa：归纳引理的发现。调查（2019年）
4. 凯利森，阿里尔；比克福德，马克；实施罗拔欧几里得理论（2019年罗伯特·欧几里得理论）
5. 昆查尔，昂德涅伊；Popescu，Andrei:高阶逻辑中的局部类型定义从类型到集合（2019）
6. 米勒，戴尔：重温机械化元理论（2019）
7. 拉利，文森特；比克福德，马克；科恩，利伦；Constable，Robert L.：条归纳法与建构型理论兼容（2019）
8. 雷诺兹，安德鲁；昆卡，维克托；蒂内利，塞萨尔；巴雷特，克拉克；Deters，Morgan:SMT中基于反驳的合成（2019）
9. 安圭利，卡罗；Harper，Robert:更高维度的意义解释（2018）
10. 阿维拉·达席尔瓦，安德烈亚·B。；德利马，泰纳拉·阿里利；Galdino，AndréLuiz:PVS中的形式化环理论（2018）
11. 阿文，阿农；Cohen，Liron:最小计算集合理论中的应用数学（2018）
12. 比克福德，马克；科恩，利伦；警员，罗伯特L。；Rahli，Vincent:通过选择序列超越Church Turing的可计算性（2018）
13. 卡莱特，雅克；农民，威廉M。；帕特里克·拉斯科斯基：霍尔轻量化（2018）
14. Farmer，William M.：将引用和评价纳入Church的类型理论（2018）
15. Harper，Robert:开放世界中的异常跟踪（2018）
16. 拉利，文森特；Bickford，Mark:使用命名异常验证Brouwer数字连续性原则（2018）
17. 拉利，文森特；科恩，利伦；Bickford，Mark:一个由单调库支持的已验证定理证明器后端（2018）
18. Shankar，Natarajan:模型检验与演绎相结合（2018）
19. 伯杰，乌尔里希；侯铁：丘奇简单类型理论的可实现性解读（2017）
20. 巴斯，塞缪尔R.（编辑）；伊姆霍夫，罗莎莉（编辑）；科伦巴赫，乌尔里希（编辑）；数学逻辑：证明理论，建构数学。2017年11月5日至11日（2017年）研讨会摘要