zbMATH中的参考文献（参考文献26条,1标准件)

1. 安巴尔，纪尧姆；伦格莱特，塞尔盖伊；施密特，艾伦：（\mathrmo\pi）在《考克》（2021年）
2. 亚伯，安德烈亚斯；阿拉斯，纪尧姆；哈米尔，阿利娅；皮恩卡，布里吉特；阿尔伯托莫米格里亚诺；施费尔，史蒂文；斯塔克，凯瑟琳：波普马克重新加载：逻辑关系的机械化证明（2019）
3. 马哈茂德，穆罕默德·尤斯里；Felty，Amy P.：线性逻辑中Quiper量子编程语言的元理论形式化（2019）
4. 米勒，戴尔：重温机械化元理论（2019）
5. 阿尔伯托莫米格里亚诺；皮恩卡，布里吉特；大卫·蒂博多：程序设计中的一个案例研究：豪方法（2019）
6. 法尔卡，弗兰蒂舍克；科门丹茨基，叶卡捷琳娜；Hammond，Kevin:依赖型推理和术语综合的相关Horn子句证明（2018）
7. 拉贝，弗洛里安：模块化类型重建算法（2018）
8. Dunfield，Joshua:可扩展数据集优化（2017）
9. 乔治，艾娜·林恩；阿加塔，穆鲁斯卡；奥蒂斯，肖恩；Pientka，Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架（2017）
10. 弘塞尔，福里奥；利库里，路易吉；马克西莫维奇，佩塔；斯加内托，伊万：（\mathsfLLF\mathcalP）：使用单子对外部证据、附带条件和证明无关性进行建模的逻辑框架（2017）
11. 凯撒，乔纳斯；皮恩卡，布里吉特；Smolka，Gert:关联系统F和（\lambda2）：Coq、Abella和Beluga的案例研究（2017）
12. Libal，托默；米勒，戴尔：功能作为建造者高阶统一（2016）
13. 王玉婷；Nadathur，Gopalan:验证函数程序转换的高阶抽象语法方法（2016）
14. 阿尔伯托，齐亚法格利恩；斯加内特，伊万：《弱HOA中的机械化环境》（2015）
15. 费尔蒂，艾米P。；阿尔伯托莫米格里亚诺；Pientka，Brigitte:下一个700个挑战性问题，用于使用高阶抽象语法表示进行推理。二： 调查（2015）
16. 皮恩卡，布里吉特；Cave，Andrew:感应白鲸：编程证明（2015）
17. Ronan Saillard:lambda-Pi微积分模的排版：理论与实践（2015）不是zbMATH
18. 斯蒂芬，亚历山大；Benzmüller，Christoph:高阶推理机没有最佳（\beta）-标准化策略（2015）
19. 萨瓦里·贝朗格，奥利维尔；蒙尼尔，斯特凡；Pientka，Brigitte:使用高阶抽象语法编程类型安全转换（2013）
20. Accattoli，Beniamino:证明珍珠：Abella形式化（\lambda）-微积分立方属性（2012）