尼尔·D·琼斯。 高阶类型或无CONS生活的表达能力。 (英语) Zbl 0988.68046号 J.功能。程序。 11,第1期,55-94(2001).MSC公司:68甲18 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.D.Jones},J.Funct。程序。11,第1号,55-94(2001年;Zbl 0988.68046) 全文: 内政部
阿米尔·本·阿姆拉姆。;尼尔·D·琼斯。 通过编程语言实现计算复杂性:常数因素很重要。 (英语) Zbl 0960.68079号 学报信息。 37,第2期,第83-120页(2000年).MSC公司:2015年第68季度 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{N.D.Jones},《学报》第37期,第2期,第83-120页(2000年;Zbl 0960.68079) 全文: 内政部