伊利亚·谢尔盖;Dimitrios Vytiniotis,迪米特里奥斯;西蒙·佩顿·琼斯;约阿希姆·布雷特纳 理论和实践中的模块化、高阶基数分析。 (英语) 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 Eekelen},计算。语言系统。结构。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},《学报》第48期,第3期,191--211(2011;Zbl 1237.68051) 全文: 内政部
Stefan Holdermans公司;尤里安·黑格 使“严格性”更具相关性。 (英语) 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) 全文: 内政部