伊利亚·谢尔盖;Vytiniotis,迪米特里奥斯;西蒙·L·佩顿琼斯;约阿希姆·布雷特纳 理论和实践中的模块化、高阶基数分析。 (英语) Zbl 1418.68046号 J.功能。程序。 27,论文编号e11,55 p.(2017).MSC公司:68N20型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Sergey}等人,J.Funct。程序。27,论文编号e11,55 p.(2017;Zbl 1418.68046) 全文: 内政部
斯梅特泽斯,沙克;马克·范·埃克伦 高阶严格类型的推导和推理。 (英语) Zbl 1387.68064号 计算。语言系统。结构。 44,B部分,166-180(2015).MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Smetsers}和\textit{M.van Eeklen},计算机。语言系统。结构。44,B部分,166--180(2015;Zbl 1387.68064) 全文: 内政部 链接
丹尼尔·塞德尔;贾尼斯·沃格特兰德 细化类型以定位强制严格性对自由定理的影响。 (英语) Zbl 1237.68051号 学报信息。 48,第3期,191-211(2011).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Seidel}和\textit{J.Voigtländer},Acta Inf.48,第3191--211号(2011年;Zbl 1237.68051) 全文: 内政部
斯特凡·霍尔德曼;尤里安·哈格 使“严格性”更具相关性。 (英语) Zbl 1232.68026号 高-订购符号。计算。 23,第3期,315-335(2010).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holdermans}和\textit{J.Hage},高中-订购符号。计算。23,第3号,315--335(2010;Zbl 1232.68026) 全文: 内政部