Cofree coalgebras and differential linear logic
James Clift, Daniel Murfet · Mathematical Structures in Computer Science · 2020
Abstract 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.