摘要：将lambda演算编码到pi演算中，我们给出了通用条件，使得该编码与Levy-Longo树和Bohm树完备和正确。我们将这些条件应用于不同的按名称调用的lambda演算的编码，展示了如何通过改变在pi演算中采用的行为等价和/或编码来获得这两种树。
作者：Davide Sangiorgi, Xian Xu
论文ID：1804.05797
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中