zbMATH中的参考文献，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. 2017年，布林卡（Georgeinta-Murantka），逻辑框架：第一类：布林卡（Georgeina-Muranta）；第1类：逻辑框架
12. （\MathUp，Simulvovic，外部条件：Simulvori，Simulvovic；Simulvovic和Simulvovic，2017；Simul-Provice；Simulvovic；Simulvovic）
13. Kaliszyk，Cezary；Pąk，Karol:Isabelle对象逻辑中Mizar属性的表示和操作（2017）
14. Kammar，Ohad；Pretnar，Matija:代数效果和处理程序不需要值限制（2017）
15. 米勒，戴尔：验证检查和逻辑编程（2017）
16. Stump，Aaron:从属lambda消去的演算（2017）
17. Crole，Roy L.；Furniss，Amy:规范杂交：扩展依赖类型的杂交后代（2016）
18. Eisenberg，Richard A.；Weirich，Stephanie；Ahmed，Hamidhasan G.：可见类型应用（2016）
19. Nicolas Feltman；Angiuli，Carlo；Acar，Umut A.；Fatahalian，Kayvon:自动拆分两阶段lambda演算（2016）
20. Honsell，Furio；Lenisa，Marina；Likori，Luigi；Scagnetto，Ivan：实施康托天堂（2016）