We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the simply typed differential λ-calculus.

中文翻译：

---

Cofree 余代数和微分线性逻辑

我们证明了使用余余余代数的向量空间中直觉线性逻辑的语义也是微分线性逻辑的模型，余余余代数的笛卡尔闭范畴是简单类型微分λ-演算的模型。