Cofree coalgebras and differential linear logic
Logic in Computer Science
2020-06-24 v2
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.
Keywords
Cite
@article{arxiv.1701.01285,
title = {Cofree coalgebras and differential linear logic},
author = {James Clift and Daniel Murfet},
journal= {arXiv preprint arXiv:1701.01285},
year = {2020}
}
Comments
New introduction to the cofree coalgebra and relevant geometric intuition, and a discussion of the differential lambda calculus