ZBMaX中的参考文献（163篇）2篇标准文章）

1. Karol，伊莎贝尔的对象逻辑（2019）
2. 艾哈迈迪，Mohamed Yousri；费尔蒂，Amy P.：线性逻辑中量子力学编程语言元理论的形式化（2019）
3. Miller、Dale：机械化元理论再探（2019）
4. Momigliano，阿尔伯托；Pitka，汤屹云；锡伯杜，戴维：编程归纳证明的一个实例：Howe方法（2019）
5. 切尼，杰姆斯；MimigiLango，阿尔伯托：（αalpha）：机械化元理论模型检查器（2017）
6. 基哈尼，扎卡里亚；Miller，Dale；Renaud，Fabien：证明证据的语义框架（2017）
7. Dunfield，约书亚：可扩展数据集细化（2017）
8. 费雷拉，弗朗西斯科；Pientka，汤屹云：使用一流绑定的语法程序（2017）
9. 乔治斯，艾纳林恩；穆拉夫斯卡，阿加塔；奥蒂斯，肖恩；Pitka，汤屹云：\TrutsCLinux：一个具有一流语境的线性逻辑框架（2017）
10. Honsell，Furio；利库里，路易吉；Maksimovic，PATAR；SigaNETTO，伊凡：（\ MathsFLFf\\MathCalp）：利用MUNADS建模外部证据、侧条件和证明无关性的逻辑框架（2017）
11. KaliSyyk，CeZayy；P.K，Karol：伊莎贝尔对象逻辑（2017）中MiZar性质的表示和操纵
12. Kammar，Ohad；Prtnar，MaTija：代数效应和处理程序不需要任何值限制（2017）
13. Miller，Dale：证明检查与逻辑程序设计（2017）
14. 残根，亚伦：依赖λ消除的演算（2017）
15. Crole，Roy L.；Foiess，艾米：规范HyBiLLF：扩展相关类型的混合（2016）
16. Eisenberg，Richard A.；韦里奇，斯蒂芬妮；艾哈迈德，Hamidhasan G.：可见型应用（2016）
17. 费尔特曼，尼古拉斯；Angiuli，Carlo；Acar，Umut A.；法塔哈里安，Kayvon：自动分裂两阶段λ演算（2016）
18. Honsell、弗里奥、列尼萨、玛丽娜、利库里、路易吉、斯加涅托、伊凡：康托乐园的实现（2016）
19. Libal、托默、Miller、Dale：作为构造函数的高阶统一（2016）
20. 奥利维拉，布鲁诺C.D.S.；S.，Zhiyuan；AlPuIM，Joango：不相交交型（2016）