@收款{zbMATH06744155，作者={格雷里、朱利奥和保里尼、卢卡和罗奇·德尔拉·罗卡、西蒙娜}，Title={按值lambda演算调用的标准化}，BookTitle={2015年7月1日至3日，波兰华沙，TLCA’15，第13届lambda计算和应用国际会议。诉讼}，国际标准图书编号={978-3-939897-87-3}，页码={211--225}，年份={2015年}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/LIPIcs.TLCA.2015.211}，关键词={68N18,03B40}，zbMATH={6744155}，Zbl={1367.68052}}