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

1. 布莱，弗兰çois：赞扬不精确性：对元编程形式化的贡献（2020）
2. 盖里，洛伦佐；Popescu，Andrei:带绑定的语法的形式化一般理论：扩展版（2020）
3. 卡利斯齐克，塞扎里；Pąk、 卡罗尔：《米扎尔作为伊莎贝尔对象逻辑的语义》（2019）
4. 马哈茂德，穆罕默德·尤斯里；Felty，Amy P.：线性逻辑中Quiper量子编程语言的元理论形式化（2019）
5. 米勒，戴尔：重温机械化元理论（2019）
6. 阿尔伯托莫米格里亚诺；皮恩卡，布里吉特；大卫·蒂博多：程序设计中的一个案例研究：豪方法（2019）
7. 切尼，詹姆斯；Alberto Momigliano:（\alpha\mathrmCheck）：机械化元理论模型检查器（2017）
8. 基哈尼，扎卡里亚；米勒，戴尔；Renaud，Fabien：《证据的语义框架》（2017）
9. Dunfield，Joshua:可扩展数据集优化（2017）
10. 费雷拉，旧金山；Pientka，Brigitte：使用一流绑定器语法的程序（2017）
11. 乔治琳娜；阿加塔，穆鲁斯卡；奥蒂斯，肖恩；Pientka，Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架（2017）
12. 弘塞尔，福里奥；利库里，路易吉；马克西莫维奇，佩塔；斯加内托，伊万：（\mathsfLLF\mathcalP）：使用单子对外部证据、附带条件和证明无关性进行建模的逻辑框架（2017）
13. 凯撒，乔纳斯；皮恩卡，布里吉特；Smolka，Gert:关联系统F和（\lambda2）：Coq、Abella和Beluga的案例研究（2017）
14. 卡利斯齐克，塞扎里；Pąk、 卡罗尔：伊莎贝尔对象逻辑中Mizar属性的表示和操作（2017）
15. 奥哈德省坎马市；Pretnar，Matija:代数效果和处理程序不需要值限制（2017）
16. 米勒，戴尔：验证检查和逻辑编程（2017）
17. Stump，Aaron:从属lambda消去的演算（2017）
18. 克罗尔，罗伊L。；Furniss，Amy:规范杂交：扩展依赖类型的杂交后代（2016）
19. 艾森伯格，理查德A。；魏里奇，斯蒂芬妮；Ahmed，Hamidhasan G.：可视化应用（2016）
20. 费尔特曼，尼古拉斯；安圭利，卡罗；Acar，乌姆特A。；Fatahalian，Kayvon:自动拆分两阶段lambda演算（2016）