Lambda-π演算相关硕士博士期刊学术论文

计算机软件理论发展至今,研究焦点已从顺序计算转移到了并移计算.该文提出了对称λ-π演算,然后针对它进行了系统、深入的研究,给......