高阶 DisCoCat（皮尔斯 - 兰贝克 - 蒙塔古语义学）

这篇文章提出了一种新的高阶DisCoCat模型的定义，用于处理自然语言语义中的高阶和非线性过程。该模型基于lambda演算的Montague语义，通过操作字符串图表而不是逻辑公式来实现。作者还展示了如何将Lambek演算翻译为一阶逻辑中的Peirce系统贝塔。该理论定义还带有DisCoPy的概念验证实现，这是一个用于字符串图表的Python库。