59 citations · 224 across the 22 of their papers we have counts for
1 paper · 1 filter
James Clift, Daniel Murfet
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…