zbMATH中的参考文献（参考文献107篇)

1. 科克斯，杰斯珀；德弗里斯，多米尼克；Piessens，Frank:作为等价物的统一：独立类型数据的相关统一证明（2016）
2. 夏尔古é亚瑟·劳德：《本地无名代表》（2012）
3. Crole，Roy L.：阿尔法等价性（2012）
4. 费尔蒂，艾米；莫米利亚诺，阿尔伯托：混合动力。高阶抽象语法推理的定义两级方法（2012）
5. 莫奇德łowski，Wojciech：《通过依赖类型统一集合和程序》（2012）
6. 波拉克，兰迪；佐藤，Masahiko；Ricciotti，Wilmer:一种规范的局部命名绑定表示（2012）
7. Ranta，Aarne:机器翻译与类型理论（2012）
8. 亚伯，安德烈亚斯；Altenkirch，Thorsten:T的部分类型检查算法类型：类型（2011年）
9. 丹尼斯，路易丝·阿比盖尔；格林，伊恩；smail，Alan：使用嵌入来为高阶涟漪提供术语和注释的清晰分离（2011）
10. 伦格兰德，圣é潘恩让埃里克；戴克霍夫，罗伊；James McKinna:纯类型系统中证据搜索的集中顺序演算框架（2011）
11. Sozeau，Matthieu：方程：依赖模式匹配编译器（2010）
12. 阿斯珀蒂，A。；里奇奥蒂W。；萨尔多蒂·科恩，C。；Tassi，E.：归纳结构微积分的紧核（2009）
13. 《查普曼理论》（2009年版）
14. Geuvers，H.：证明助理：历史、想法和未来（2009）
15. 罗兆辉：内涵型理论中的表现域与模块机制（2009）
16. 莫奇德łowski，Wojciech:通过依赖类型统一集合和程序（2009）
17. 威廉M.法默：简单类型理论的七个优点（2008）
18. 罗兆辉；亚当斯，罗宾：具有函数等式规则的归纳类型的结构子类型（2008）
19. 纳涅夫斯基，亚历山达；莫里塞特，格雷格；希纳，阿夫拉罕；哥维罗，保罗；Birkedal，Lars:Ynot:命令式程序的依赖类型（2008）
20. Abel，Andreas:Twelf中简单类型lambda演算的规范化（2007）