提出一种基于经典乘法线性逻辑的范畴文法，使用标记的端点将单词组成元组而不是抽象的 λ 项，称为 Multiwords；Multiwords 可以组成一个具有基本代数结构的类别，并且研究它可能有助于理解语言语义和为其他形式主义提供分类表示。

Oct, 2018

本文介绍了位移演算为 Lambek 演算的一般化，它保留了 Lambek 演算的证明论特性，同时将不连续性融合到其中，并涵盖了它。我们举例说明语言应用，并证明减少消除，子公式属性和可决定性。

Apr, 2010

使用经典乘性线性逻辑提出一种基于范畴语法的模型，其中单词由连通的、有标记的端点构成的元组表示为 Word cobordisms，这些对象可以组织成一类类似于拓扑 cobordisms 的范畴，作为线性 λ 演算和古典、直觉线性逻辑的模型。

Nov, 2019

本研究表明混合类型逻辑语法是一阶线性逻辑的一个片段，并提供了新的证明理论和解析策略。同时，还揭示了 λ 语法 / 抽象范畴语法存在超生成问题和句法 - 语义界面问题等独特问题。

May, 2014

使用 DisCoCat 模型构建的语义理论在 Lambek 的 pregroup 语法和单调性生物闭合类别中得到了进一步的扩展，并利用矢量空间模型建立了完整句子的向量。

Feb, 2013

该论文通过建立 Lambek calculus 的扩展和变体的两个统一框架，利用证明网和图重写规则建立逻辑框架，用于在不同的语言分析框架之间架起桥梁，强调区别，帮助识别问题。

Jun, 2015

我们提出了一个具体的表面表示法，用于在字母表中使用词语装饰的特定双分图中表示抽象范畴语法，这些图形推广了线性逻辑证明网。我们还介绍和研究了直接基于双分图的线性逻辑语法，并使用经典乘性线性逻辑作为类型系统。

Jul, 2021

通过将对角线方法扩展到一个张量范畴中，我们展示了表征不同范畴语法的一个一阶乘性线性逻辑子集相当于最近引入的扩展张量类型演算，它不仅提供了先前的某些替代语法和直观几何表示，还具有本质的演绎系统。

Jun, 2022

我们提出了一种新的高阶 DisCoCat（分类组合分布）模型的定义，其中词的意义不是一个图表，而是一个图表值的高阶函数。我们的模型可以看作是基于 lambda 演算的 Montague 语义的变体，其中的原始操作作用于字符串图表而不是逻辑公式。作为特例，我们展示了如何从 Lambek 演算翻译为一阶逻辑中的 Peirce 系统贝塔。这使我们能够在自然语言语义中以纯图表的方式处理高阶和非线性过程：副词、介词、否定和量词。这篇文章中提出的理论定义带有 DisCoPy 的概念验证实现，这是用于字符串图表的 Python 库。

Nov, 2023

该论文提出了范畴论和计算语言学之间的翻译作为自然语言处理的基础，结合语法、语义和语用三个方面，以字符串图表达统一的句法结构，利用函子将图表达式计算为逻辑、张量、神经或量子计算的语义，通过组成游戏将生成的函子模型进行组合，从而解决语言处理任务。DisCoPy 是用于计算字符串图的 Python 库的一部分，将得到的范畴、语言和计算结构之间的对应关系描述，并通过组合的自然语言处理应用进行演示。

Dec, 2022