James Clift

Cofree coalgebras and differential linear logic

2020 · Mathematical Structures in Computer Science

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 …