马丁·霍夫曼;洛伦茨,Leutgeb;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 (英语) Zbl 1517.68070号 数学。结构。计算。科学。 32,第6号,794-826(2022).MSC公司:68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人,《数学》。结构。计算。科学。32,编号6,794--826(2022;Zbl 1517.68070) 全文: DOI程序 arXiv公司
简·霍夫曼;斯特芬·乔斯特 二十年的自动摊销资源分析。 (英语) Zbl 1517.68079号 数学。结构。计算。科学。 32,第6号,729-759(2022).MSC公司:68号30 03B38型 03B70型 68甲18 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}和\textit{S.Jost},数学。结构。计算。科学。32,编号6729-759(2022;兹bl 1517.68079) 全文: DOI程序
诺曼·丹纳;丹尼尔·R·利卡塔。 指称语义是函数语言成本递归提取的基础。 (英语) Zbl 07581651号 J.功能。程序。 32,论文编号e8,73 p.(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Danner}和\textit{D.R.Licata},J.Funct。程序。32,论文编号e8,73 p.(2022;Zbl 07581651) 全文: DOI程序 arXiv公司
贝尼亚米·阿卡托利;圣菲省格拉汉·伦格兰德;迪莉娅·凯斯纳 严格的打字和分割界限,充分发展。 (英语) Zbl 1482.68077号 J.功能。程序。 30,论文编号e14,101 p.(2020).MSC公司:68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}等人,J.Funct。程序。30,论文编号e14,101 p.(2020;Zbl 1482.68077) 全文: DOI程序 arXiv公司