Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects
复制标题
交互的记忆几何：从代数分量到代数效应
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Ichiro Hasuo
中科院分区：
文献类型：
--
作者：
Naohiko Hoshino;Koko Muroya;Ichiro Hasuo
登录
查看更多内容
为传感器编写有效的术语 记忆交互几何的原型实现
DOI：
--
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Koko Muroya;Naohiko Hoshino;I. Hasuo;Toshiki Kataoka
通讯作者：
Toshiki Kataoka
DOI：
--
发表时间：
--
期刊：
In proceeding of LiCS 2011
影响因子：
--
作者：
Hasuo Ichiro;Naohiko Hoshino
通讯作者：
Naohiko Hoshino
交互组合器
DOI：
10.1006/inco.1997.2643
发表时间：
1997
期刊：
Inf. Comput.
影响因子：
--
作者：
Y. Lafont
通讯作者：
Y. Lafont
交互机器的几何结构
DOI：
10.1145/199448.199483
发表时间：
1995
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
I. Mackie
通讯作者：
I. Mackie
线性函数式编程语言的改进 GoI 解释及其充分性
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Hasuo Ichiro;Naohiko Hoshino;Naohiko Hoshino
通讯作者：
Naohiko Hoshino