Geometry of Bayesian Programming
Geometry of Bayesian Programming
复制标题
贝叶斯规划的几何
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Ugo Dal Lago and Naohiko Hoshino
中科院分区：
文献类型：
--
作者：
中川 亮;中谷 文彦;遠藤 誠;川井 章;吉田 朗彦;八尋 健一郎;木村 敦;関 剛彦;荒木 一司;北林 一生;中島 康晴;Osawa et al;Ugo Dal Lago and Naohiko Hoshino
登录
查看更多内容
DOI：
10.1145/2951913.2951942
发表时间：
2015-12
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
J. Borgström;Ugo Dal Lago;A. Gordon;Marcin Szymczak
通讯作者：
J. Borgström;Ugo Dal Lago;A. Gordon;Marcin Szymczak
概率游戏语义
DOI：
--
发表时间：
2000
期刊：
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
影响因子：
--
作者：
V. Danos;Russell Harmer
通讯作者：
Russell Harmer
DOI：
10.1109/lics.2017.8005137
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Heunen C
通讯作者：
Heunen C
线性、共享和状态：具有主动表达式的理想化 Algol 的完全抽象游戏语义
DOI：
--
发表时间：
1996
期刊：
Linear Logic Tokyo Meeting
影响因子：
--
作者：
S. Abramsky;G. McCusker
通讯作者：
G. McCusker
从证明网到交互网
DOI：
10.1017/cbo9780511629150.012
发表时间：
1995
期刊：
--
影响因子：
--
作者：
Y. Lafont
通讯作者：
Y. Lafont