The lambda-calculus in the pi-calculus

The lambda-calculus in the pi-calculus
复制标题

pi 演算中的 lambda 演算

DOI:
--
复制
发表时间:
2011
影响因子:
0.5
通讯作者:
Fu, Yuxi
Fu, Yuxi
中科院分区:
计算机科学4区
文献类型:
--
作者:
Cai, Xiaojuan;Fu, Yuxi

文献摘要

相似文献