乐高

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