美国达拉戈。 高阶编程语言中的隐式计算复杂性。纪念马丁·霍夫曼的调查。 (英语) Zbl 1517.68075号 数学。结构。计算。科学。 32,编号6,760-776(2022).MSC公司:68号30 03B40型 03楼52 68甲18 2015年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago},数学。结构。计算。科学。32,编号6,760--776(2022;Zbl 1517.68075) 全文: 内政部
帕特里克·贝洛特;乌戈·达尔拉戈;Jean-Yves Moyen 关于准解释、盲抽象和隐含复杂性。 (英语) Zbl 1288.68078号 数学。结构。计算。科学。 22,第4期,549-580(2012).MSC公司:2015年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人,数学。结构。计算。科学。22,第4号,549--580(2012;Zbl 1288.68078) 全文: 内政部