朱利奥·格雷里;卢卡·保里尼;西蒙娜·隆奇·德拉·罗卡 改进的call-by-value lambda-calculus的标准化和保守性。 （英语） Zbl 1434.68086号 日志。方法计算。科学。 13，第4号，第29号论文，27页（2017年）.MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Guerreri}等人，《日志》。方法计算。科学。13，第4号，第29号论文，27页（2017；Zbl 1434.68086） 全文： 内政部 arXiv公司
朱利奥·格雷里;卢卡·保里尼;西蒙娜·隆奇·德拉·罗卡 call-by-value lambda-calculus的标准化。 （英语） Zbl 1367.68052号 Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38211-225（2015）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Guerreri}等人，LIPIcs——莱布尼茨国际程序。通知。38、211-225（2015；Zbl 1367.68052） 全文： 内政部