zbMATH中的参考文献（参考 169篇文章 参考，2标准条款)

1. Bry，francois：赞扬不精确性：对元编程形式化的贡献（2020）
2. 盖里，洛伦佐；波佩斯库，安德烈：带绑定的语法形式化一般理论：扩展版（2020）
3. Kaliszyk，Cezary；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）
4. Mahmoud，Mohamed Yousri；Felty，Amy P.：线性逻辑中Quiper量子编程语言的元理论形式化（2019）
5. 米勒，戴尔：重温机械化元理论（2019）
6. 阿尔伯托Momigliano；Pientka，Brigitte；Thibodeau，David:程序设计中的一个案例研究：Howe方法（2019）
7. Cheney，James；Momigliano，Alberto:（\alpha\mathrmCheck）：机械化元理论模型检查器（2017）
8. Chihani，Zakaria；Miller，Dale；Renaud，Fabien:证据的语义框架（2017）
9. Dunfield，Joshua:可扩展数据集优化（2017）
10. Ferreira，Francisco；Pientka，Brigitte：使用一流绑定器的语法的程序（2017年）
11. Georges，Aina Linn；Murawska，Agata；Otis，Shawn；Pientka，Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架（2017）
12. Honsell，Furio；Likori，Luigi；Maksimovic，Petar；Scagnetto，Ivan:（\mathsfLLF_u\mathcalP）：使用单子建模外部证据、旁证和证明无关性的逻辑框架（2017）
13. Kaiser，Jonas；Pientka，Brigitte；Smolka，Gert:关联系统F和（\lambda2）：Coq、Abella和Beluga案例研究（2017）
14. Kaliszyk，Cezary；Pąk，Karol:Isabelle对象逻辑中Mizar属性的表示和操作（2017）
15. Kammar，Ohad；Pretnar，Matija:代数效果和处理程序不需要值限制（2017）
16. 米勒，戴尔：验证检查和逻辑编程（2017）
17. Stump，Aaron:从属lambda消去的演算（2017）
18. Crole，Roy L.；Furniss，Amy:规范杂交：扩展依赖类型的杂交后代（2016）
19. Eisenberg，Richard A.；Weirich，Stephanie；Ahmed，Hamidhasan G.：可见类型应用（2016）
20. Nicolas Feltman；Angiuli，Carlo；Acar，Umut A.；Fatahalian，Kayvon:自动拆分两阶段lambda演算（2016）