2000 character limit reached
Cofree coalgebras and differential linear logic (1701.01285v2)
Published 5 Jan 2017 in cs.LO
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 lambda calculus.