贝尼亚米·阿卡托利 指数作为线性逻辑中的替换和消减的代价。 （英语） Zbl 07788995号 日志。计算方法。科学。 19，第4号，第23号论文，65页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}，日志。计算方法。科学。19，第4号，第23号论文，65页（2023；Zbl 07788995） 全文： 内政部 arXiv公司 OA许可证
贝尼亚米·阿卡托利;圣菲省格拉汉·伦格兰德;迪莉娅·凯斯纳 严格的打字和分割界限，充分发展。 （英语） 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） 全文： 内政部 arXiv公司
贝尼亚米·阿卡托利 重新审视\（\lambda \）-演算。 （英语） Zbl 1528.68054号 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第1条，第20页（2019年）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。131，第1条，第20页（2019年；Zbl 1528.68054） 全文： 内政部
贝尼亚米·阿卡托利 效率和合理的成本模型。 （英语） Zbl 1433.68084号 Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 23-43 (2018).MSC公司：68甲18 03B40型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}，电子。注释Theor。计算。科学。338、23-43（2018年；Zbl 1433.68084） 全文： 内政部
贝尼亚米·阿卡托利;布鲁诺·巴拉斯 模式匹配的成本微乎其微。 （英语） Zbl 1503.68034号 Chang，Bor Yuh Evan（编辑），《编程语言与系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10695, 426-447 (2017).MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}和\textit{B.Barras}，莱克特。注释计算。科学。10695，426--447（2017；Zbl 1503.68034） 全文： 内政部 哈尔
贝尼亚米·阿卡托利;克劳迪奥·萨塞尔多蒂·科恩 关于变量的值。 （英语） Zbl 1372.68055号 Inf.计算。 255，第2部分，224-242（2017）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}和\textit{C.Sacerdoti-Coen}，Inf.Comput。255，第2部分，224--242（2017；Zbl 1372.68055） 全文： 内政部 哈尔
贝尼亚米·阿卡托利 有用的MAM是强（lambda）演算的合理实现。 （英语） Zbl 1478.68083号 Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。9803, 1-21 (2016).MSC公司：04年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli}，莱克特。注释计算。科学。9803，1-21（2016年；兹比尔1478.68083） 全文： 内政部