Journal article
Cofree coalgebras and differential linear logic
James Clift, Daniel Murfet
Mathematical Structures in Computer Science | CAMBRIDGE UNIV PRESS | Published : 2020
Abstract
AbstractWe 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.