A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
复制标题
线性函数式编程语言的改进 GoI 解释及其充分性
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Naohiko Hoshino
中科院分区：
文献类型：
--
作者：
Hasuo Ichiro;Naohiko Hoshino;Naohiko Hoshino
登录
查看更多内容
交互的基本复杂性和几何形状
DOI：
10.1007/3-540-48959-2_4
发表时间：
1999
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Patrick Baillot;M. Pedicini
通讯作者：
M. Pedicini
DOI：
--
发表时间：
1990
期刊：
Conference on Computer Logic
影响因子：
--
作者：
J. Girard
通讯作者：
J. Girard
影响因子：
1.1
作者：
Esfandiar Haghverdi;P. Scott
通讯作者：
P. Scott
交互机器的几何结构
DOI：
10.1145/199448.199483
发表时间：
1995
期刊：
Proceedings of the 13th international conference on Modularity
影响因子：
--
作者：
I. Mackie
通讯作者：
I. Mackie
DOI：
10.1017/cbo9780511565670.019
发表时间：
1997
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
J. V. Oosten
通讯作者：
J. V. Oosten