@收款{zbMATH06573782，作者={Lochbihler，Andreas}，标题={高阶逻辑中的概率函数和密码预言}，BookTitle={编程语言和系统。2016年第25届欧洲编程研讨会，ESOP，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2016，荷兰埃因霍温，2016年4月2-8日。诉讼}，ISBN＝{978-3-662-49497-4；978-3-662-49498-1}，页码={503--531}，年份={2016年}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-662-49498-1_20}，关键词={68N18,94A60}，zbMATH={6573782}，Zbl={1335.68033}}