M.Sato: "Conservativeness of LAMBDA over lambdasigma-calculus" Lecture Notes in Computer Science,Springer.
M.Sato: "Conservativeness of LAMBDA over lambdasigma-calculus" Lecture Notes in Computer Science,Springer.
复制标题
M.Sato:“LAMBDA 相对于 lambdasigma 演算的保守性”计算机科学讲义,施普林格。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者:
登录
查看更多内容
DOI:
10.13016/daw5-mvla
发表时间:
1960
期刊:
影响因子:
--
作者:
J. Edmonds
通讯作者:
J. Edmonds
DOI:
--
发表时间:
2003
期刊:
SDM
影响因子:
--
作者:
Alain Casali;R. Cicchetti;L. Lakhal
通讯作者:
L. Lakhal
DOI:
--
发表时间:
2002
期刊:
--
影响因子:
--
作者:
D. Peuquet
通讯作者:
D. Peuquet
DOI:
10.1179/000870494787073682
发表时间:
1994
期刊:
影响因子:
--
作者:
Zhilin Li
通讯作者:
Zhilin Li
DOI:
10.4324/9780203301227
发表时间:
2000
期刊:
--
影响因子:
--
作者:
J. Raper
通讯作者:
J. Raper