Free Σ-monoids : A Higher-order Syntax with Metavariables
Free Σ-monoids : A Higher-order Syntax with Metavariables
复制标题
自由 Σ-monoids：带有元变量的高阶语法
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
浜名誠
中科院分区：
文献类型：
--
作者：
N.Ghani;M.Hamana;T.Uustalu;V.Vene;浜名誠;浜名誠;浜名誠
登录
查看更多内容
类型化上下文演算
DOI：
10.1016/s0304-3975(00)00174-2
发表时间：
2001
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Hashimoto;A. Ohori
通讯作者：
A. Ohori
基于绑定代数的逻辑编程语言
DOI：
10.1007/3-540-45500-0_12
发表时间：
2001
期刊：
--
影响因子：
--
作者：
M. Hamana
通讯作者：
M. Hamana
DOI：
10.1007/978-1-4612-9839-7
发表时间：
1971
期刊：
--
影响因子：
--
作者：
S. Lane
通讯作者：
S. Lane
影响因子：
1.1
作者：
Urban, C;Pitts, AM;Gabbay, MJ
通讯作者：
Gabbay, MJ
绑定结构理论及其在重写中的应用
DOI：
10.1016/0304-3975(93)90240-t
发表时间：
1993
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
C. Talcott
通讯作者：
C. Talcott