K. Noshita and T. Hikita: "The BC-chain method for representing combinators in linear space" New Generation Computing J.3. 131-144 (1985)
K. Noshita and T. Hikita: "The BC-chain method for representing combinators in linear space" New Generation Computing J.3. 131-144 (1985)
复制标题
K. Noshita 和 T. Hikita：“在线性空间中表示组合器的 BC 链方法”新一代计算 J.3。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
影响因子：
0.6
作者：
D. Turner
通讯作者：
D. Turner
DOI：
--
发表时间：
2020
期刊：
Wittgenstein on Mathematics
影响因子：
--
作者：
Michael Byrd
通讯作者：
Michael Byrd
DOI：
10.1007/bfb0014971
发表时间：
1987
期刊：
--
影响因子：
--
作者：
A. Piperno
通讯作者：
A. Piperno
使用标志性组合器进行变量替换
DOI：
10.1007/3-540-57182-5_63
发表时间：
1993
期刊：
--
影响因子：
--
作者：
D. Stevens
通讯作者：
D. Stevens
线性空间中抽象的一组组合器
DOI：
10.1016/0020-0190(87)90183-9
发表时间：
1987
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
M. Castan;M.;M. Lemaître
通讯作者：
M. Lemaître