@InCollection｛zbMATH06721329，作者={Dal Lago，Ugo and Grellois，Charles}，标题={通过一元仿射大小的键入进行概率终止}，BookTitle={编程语言和系统。第26届欧洲编程研讨会，2017年ESOP，作为欧洲软件理论和实践联合会议的一部分，2017年4月22日至29日在瑞典乌普萨拉举行。诉讼}，国际标准图书编号={978-3-662-54433-4；978-3-562-54434-1}，页码={393--419}，年份={2017年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-54434-1_15}，关键词={68N19,68N30}，zbMATH={6721329}，Zbl={1485.68045}}