×

通用概率规划的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).

MSC公司:

68甲18 函数编程和lambda演算
68甲15 编程语言理论
68甲19 其他编程范式(面向对象、顺序、并发、自动等)
68号30 软件工程的数学方面(规范、验证、度量、需求等)
第68季度55 计算理论中的语义学
68T05型 人工智能中的学习和自适应系统
PDF格式BibTeX公司 XML格式引用