克里斯·希恩；奥哈德·卡玛；萨姆·斯塔顿；杨红seok 高阶概率理论的一个方便范畴。 （英语） Zbl 1458.60005号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第77条，第12页（2017年）。MSC公司：60A05型 18日第15天 60E99型 60G09年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Heunen}等人，摘自：2017年第32届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第77条，第12页（2017；Zbl 1458.60005） 全文： arXiv公司 链接
菲利波·邦奇；亚历山德拉·席尔瓦；安娜·索科洛娃 凸代数的幂。 （英语） Zbl 1442.68085号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第23条，第18页（2017年）。MSC公司：65年第68季度 68问题55 70年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。85，第23条，第18页（2017年；Zbl 1442.68085） 全文： 内政部
肯塔·乔；巴特·雅各布斯 概率计算的EfProb库。 （英语） Zbl 1433.68266号 Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第25条，第8页（2017年）。MSC公司：87年第68季度 18个C20 68-04 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。72，第25条，第8页（2017年；Zbl 1433.68266） 全文： 内政部
丹尼尔·黄；格雷格·莫里塞特 可计算分布在概率编程语言语义中的应用。 （英语） 兹比尔1335.68028 Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632，337-363（2016）。MSC公司：68甲15 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Huang}和\textit{G.Morrisett}，Lect。注释计算。科学。9632、337--363（2016年；Zbl 1335.68028） 全文： 内政部
詹森，尼尔斯；本杰明·卢西恩·卡明斯基；Joost-Pieter卡托恩；费德里科·奥利梅多；弗里德里希·格雷茨；安娜贝拉·麦克维尔 概率规划中的条件处理。 （英语） Zbl 1351.68066号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319199-216，仅电子版（2015）。MSC公司：68甲19 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}等人，《电子》。注释Theor。计算。科学。319199-216（2015年；兹比尔1351.68066） 全文： 内政部 arXiv公司
安德鲁·戈登。；米哈伊尔·艾扎图林；约翰内斯·博格斯特罗姆；红葡萄酒、纪尧姆；索尔·格雷佩尔；阿迪蒂亚·诺里。；Rajamani，Sriram K。；克劳迪奥·拉索 贝叶斯推理的模型学习模式。 （英语） Zbl 1301.68179号 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。403-416 (2013).MSC公司：60年第68季度 68号30 87年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}等人，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。403--416（2013；Zbl 1301.68179） 全文： 内政部