D.库扎帕斯（迪米特里奥斯）, J.A.Pérez Parra（豪尔赫）和 N.吉田（Nobuko）
2019-06-29
信息与计算,第268卷第104433:1页-104433:54
通过集成λ-演算和π-演计算的构造，在高阶过程中，演算交换的值可能包含过程。本文研究了HOπ（高阶π演算）的相对表示性，其中通信由会话类型控制。我们的主要发现是，HO是HOπ的一个子演算，它缺乏名称传递和递归，可以作为会话型高阶并发的一个新的核心演算。我们证明，HO可以比一阶会话π演算（π）更精确、更有效地对HOπ进行完全抽象编码（直至类型化上下文等价）。总体而言，在会话类型的规则下，HOπ、HO和π具有同等的表达能力；然而，我们发现HOπ与HO的关系比与π的关系更紧密。
