The lambda-calculus in the pi-calculus
The lambda-calculus in the pi-calculus
复制标题
pi 演算中的 lambda 演算
DOI:
--
复制
发表时间:
2011
影响因子:
0.5
通讯作者:
Fu, Yuxi
中科院分区:
文献类型:
--
作者:
Cai, Xiaojuan;Fu, Yuxi