话语中并行性的计算

尽管关于话语中并行性的许多论述已被提出，但仍缺乏一种正式的、可计算的并行性结构理论。本文提出了一种理论，给定两个并行的言语，预测其中哪些是并行元素。该理论由一个排序的高阶归纳演算组成，我们展示了它如何在话语并行性理论的见解与更高阶统一方法关于话语语义的见解之间取得和谐，从而为捕捉并行性对话语语义的影响提供了一个自然的框架。