4 citations · 11 across the 5 of their papers we have counts for
1 paper · 2 filters
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…