Universal Semantics for the Stochastic λ-Calculus
Universal Semantics for the Stochastic λ-Calculus
复制标题
随机 δ 微积分的通用语义
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Roberts, Michael
中科院分区：
文献类型：
--
作者：
Azevedo de Amorim, Pedro;Kozen, Dexter;Mardare, Radu;Panangaden, Prakash;Roberts, Michael
登录
查看更多内容
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：
10.1109/lics.2017.8005137
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Heunen C
通讯作者：
Heunen C
λ 演算的集合论模型：理论、展开式、同构
影响因子：
0.8
作者：
G. Longo
通讯作者：
G. Longo
概率相干空间对于概率 PCF 来说是完全抽象的
DOI：
--
发表时间：
2014
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
T. Ehrhard;C. Tasson;Michele Pagani
通讯作者：
Michele Pagani
可测锥体和稳定、可测函数：概率高阶规划模型
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
T. Ehrhard;Michele Pagani;C. Tasson
通讯作者：
C. Tasson