4 citations · 11 across the 5 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…