zbMATH中的参考文献（参考文献52条,2标准条款)

1. Libal，托默；米勒，戴尔：作为构造函数的函数高阶统一：扩展模式统一（2022）
2. 米勒，戴尔；维尔，亚历山德拉：当等式是逻辑连接词时证明搜索的不可判定性（2022）
3. 安巴尔，纪尧姆；伦格莱特，塞尔盖伊；施密特，艾伦：（\mathrmo\pi）在《考克》（2021年）
4. 盖里，洛伦佐；Popescu，Andrei:带绑定的语法的形式化一般理论：扩展版（2020）
5. 乔杜里、考斯图夫；利马，莱昂纳多；Reis，Giselle:线性逻辑连续计算的形式化元理论（2019）
6. Goubault Larrecq，Jean:纳布拉语义学（2019）
7. 吉迪，费鲁乔；萨尔多蒂·科恩，克劳迪奥；Tassi，Enrico:在高阶约束逻辑编程中实现类型理论（2019）
8. 马哈茂德，穆罕默德·尤斯里；Felty，Amy P.：线性逻辑中Quiper量子编程语言的元理论形式化（2019）
9. 米勒，戴尔：重温机械化元理论（2019）
10. 阿尔伯托莫米格里亚诺；皮恩卡，布里吉特；大卫·蒂博多：程序设计中的一个案例研究：豪方法（2019）
11. Straßburger，Lutz：证明身份的问题，以及为什么计算机科学家应该关心Hilbert的第24个问题（2019）
12. 佩雷拉，罗莉；切尼，詹姆斯：证明相关（\pi）-微积分：并发性和因果关系的建设性解释（2018）
13. 拉贝，弗洛里安：模块化类型重建算法（2018）
14. 赵金旭；奥利维拉，布鲁诺哥伦比亚特区。；Schrijvers，Tom:多态子类型算法的形式化（2018）
15. 安志勇；霍恩，罗斯；Tiu，Alwen:使用直觉模态逻辑对开放双相似性的表征（2017）
16. 乔杜里、考斯图夫；利马，莱昂纳多；Reis，Giselle:子结构逻辑连续计算的形式化元理论（2017）
17. 基米尼，马特奥；Siek，Jeremy G.：自动生成渐变类型语言的动态语义（2017）
18. 凯撒，乔纳斯；皮恩卡，布里吉特；Smolka，Gert:关联系统F和（\lambda2）：Coq、Abella和Beluga的案例研究（2017）
19. 米勒，戴尔：验证检查和逻辑编程（2017）
20. 塞拉诺，亚历杭德罗；Hage，Jurriaan:约束处理规则与绑定、模式和通用量化（2017）