埃里卡·德·贝内代蒂;Ronchi Della Rocca,西蒙 对于FPTIME和强规范化,\(\lambda\)-演算的类型赋值都是完整的。 (英语) Zbl 1339.68039号 Inf.计算。 248, 195-214 (2016).MSC公司:68甲18 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Benedetti}和\textit{S.Ronchi Della Rocca},Inf.Compute。248195-214(2016;Zbl 1339.68039) 全文: 内政部 arXiv公司
西蒙娜·隆奇·德拉·罗卡(编辑) 前言。 (英语) 兹比尔1335.00163 Inf.计算。 248,1(2016).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ronchi Della Rocca}(编辑),《信息与计算》。2481(2016年;Zbl 1335.00163) 全文: 内政部