美国达拉戈。 高阶编程语言中的隐式计算复杂性。纪念马丁·霍夫曼的调查。 (英语) 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) 全文: 内政部
马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 (英语) Zbl 0959.68075号 Ann.纯粹应用。逻辑 104,编号1-3,113-166(2000).MSC公司:68问题55 2015年3月1日 03D65年 68甲18 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},安。纯应用。逻辑104,No.1--3113--166(2000;Zbl 0959.68075) 全文: 内政部