马丁·霍夫曼;杰雷米·莱登特 简单类型（lambda）演算的定量模型。 （英语） 兹伯利07650542 数学。结构。计算。科学。 32，第6号，777-793（2022）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{J.Ledent}，数学。结构。计算。科学。32，编号6，777--793（2022；Zbl 07650542） 全文： 内政部
贝尼亚米·阿卡托利 重新审视\（\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 1222.03065号 西奥。计算。科学。 412，第20号，2029-2047（2011）.MSC公司：03楼52 03B70号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann}，Theor。计算。科学。412，第20号，2029--2047（2011；Zbl 1222.03065） 全文： 内政部
帕特里克·贝洛特;保罗·科波拉;达尔拉戈，乌戈 轻逻辑和最优约简：完整性和复杂性。 （英语） Zbl 1233.03059号 Inf.计算。 209，第2期，118-142（2011）.MSC公司：03楼52 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，《信息计算》。209，第2号，118--142（2011；Zbl 1233.03059） 全文： 内政部
罗宾·科克特;布莱恩·雷德蒙德（Brian F.Redmond）。 低复杂性的分类设置。 （英语） Zbl 1342.68128号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265277-300（2010）。MSC公司：2005年第68季度 2015年3月1日 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{R.Cockett}和\textit{B.F.Redmond}，电子。注释Theor。计算。科学。265277--300（2010年；Zbl 1342.68128） 全文： 内政部
达尔拉戈，乌戈;马丁·霍夫曼 光仿射逻辑多重时间合理性的语义证明。 （英语） Zbl 1205.68169号 理论计算。系统。 46，第4期，673-689（2010）.MSC公司：2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann}，理论计算。系统。46，第4号，673--689（2010；Zbl 1205.68169） 全文： 内政部
帕特里克·贝洛特;川崎捷瑞 lambda微积分中多项式时间计算的光类型。 （英语） Zbl 1169.68010号 Inf.计算。 207，第1期，第41-62页（2009年）.MSC公司：68甲18 03B40型 03B47号 03B70号 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{K.Terui}，Inf.Compute。207，第1号，41-62（2009；Zbl 1169.68010） 全文： 内政部 哈尔
达尔拉戈，乌戈;西蒙·马提尼 弱lambda微积分是一种合理的机器。 （英语） Zbl 1145.68011号 西奥。计算。科学。 398，编号1-3，32-50（2008）.MSC公司：68甲18 03B40型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{S.Martini}，Theor。计算。科学。398，编号1-3，32-50（2008；兹bl 1145.68011） 全文： 内政部