本论文提出了三种新的方法，一方面提出了基于 Frobenius 代数的抽象框架的具体实例，另外则提出了一种新的组合算法处理不同级别的词汇歧义，并引入了用于解释词汇歧义的量子力学方法。

May, 2015

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

Feb, 2013

本文介绍了一种新的基于范畴论和量子力学的自然语言处理方法，通过将词汇进行向量化，并结合 Coecke, Sadrzadeh 和 Clark 提出的分配模型进行词汇的分析和理解，同时采用 Selinger 的 CPM 构造进行词汇多义性的处理，实现了有效的句子意义计算和词汇比较。

Feb, 2015

本文提出了一种数学框架，为自然语言处理中向量空间模型的分布式理论和语法类型的组合理论提供统一的基础，它能够计算词汇的组合成分从而推导出句子的语义信息，具有很高的实用价值。

Mar, 2010

本文研究了量子力学范畴公理化研究中近期作者和 Bob Coecke 提出的结构，特别是强紧闭范畴的概念。我们解释了如何利用这些结构来支持标量概念，并展示了强紧闭概念是经典的紧闭范畴概念的明显改进。之后，我们进一步讨论了一系列越来越复杂的结构化范畴的免费构造。

Oct, 2009

本文使用分类组成分布语义模型（categorical compositional distributional semantics）结合 Barwise 和 Cooper 的广义量词理论，进行了基于生成语法形式化的抽象范畴组成语义学习。并证明了基于集合的关系实例化的等价性，以及基于向量空间的实例化的有效性。

Feb, 2016

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

Oct, 2018

本文介绍了范畴论中的一些主题，主要集中在单且大多为对称的单子类别上，特别是具有有限维希尔伯特空间、关系和流形作为对象时的类别。这些类别具有共同的特征，如图解演算，紧闭结构和特定类型的内部余半群，并引导我们向拓扑量子场论。此外，还讨论了一些基本的主题，如偏序类别、群表示和单子类别的严格化和一致性。

May, 2009

该论文从一种新颖的视角研究了量子信息和计算，通过将量子力学的标准公理化展示转化为具有双积紧闭类别的更抽象水平，展示了量子信息协议中重要结构的抽象层面。此外，从紧闭和双积这两种看似纯定性结构的组合中产生了 “标量” 和 “Born 规则”。

Feb, 2004

本文提供了一种用于实现分布式语义中语义合成模型的矢量空间的具体方法，实现方法基于结构化向量空间及张量积原理，将所有句子的语义矢量存在同一向量空间，并将提出的句子空间设置为两个名词空间的张量积，并通过它们的向量内积来比较句子的语义。

Dec, 2010