Effectful applicative bisimilarity: Monads, relators, and Howe's method
Effectful applicative bisimilarity: Monads, relators, and Howe's method
复制标题
有效的应用双相似性：Monad、关系器和豪方法
DOI：
10.1109/lics.2017.8005117
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Lago U
中科院分区：
文献类型：
--
作者：
Lago U
登录
查看更多内容
概率游戏语义
DOI：
--
发表时间：
2000
期刊：
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332)
影响因子：
--
作者：
V. Danos;Russell Harmer
通讯作者：
Russell Harmer
基于效果的程序转换的关系语义：高阶存储
DOI：
--
发表时间：
2009
期刊：
ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
影响因子：
--
作者：
Nick Benton;A. Kennedy;Lennart Beringer;M. Hofmann
通讯作者：
M. Hofmann
关于上下文的关系推理
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
Søren B. Lassen
通讯作者：
Søren B. Lassen
Monadic 类型的逻辑关系
影响因子：
0.5
作者：
S. Lasota;David Nowak;Yu Zhang
通讯作者：
Yu Zhang
评论：G. M. Kelly，丰富范畴论的基本概念
DOI：
--
发表时间：
1983
期刊：
影响因子：
--
作者：
J. Gray
通讯作者：
J. Gray