约翰·博格斯特罗姆;乌戈·达尔拉戈;安德鲁·戈登。;马钦,Szymczak 通用概率规划的lambda-calculus基础。 (英语) Zbl 1360.68314号 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。33-46 (2016). 引用于14文件 MSC公司: 68甲18 函数编程和lambda演算 68甲15 编程语言理论 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 第68季度55 计算理论中的语义学 68T05型 人工智能中的学习和自适应系统 关键词:λ-微积分;MCMC公司;机器学习;操作语义学;概率规划 PDF格式BibTeX公司 XML格式引用 \textit{J.Borgström}等人,in:第21届ACM SIGPLAN函数式编程国际会议论文集,2016年9月18日至22日,日本奈良ICFP’16。纽约州纽约市:计算机协会(ACM)。33-46(2016年;Zbl 1360.68314) 全文: 内政部 arXiv公司 链接