TY  - RPRT
TI  - Cofree coalgebras and differential linear logic
AU  - James Clift
AU  - Daniel Murfet
PY  - 2019
DO  - 10.1017/s0960129520000134
UR  - https://arxiv.org/abs/1701.01285
ID  - 1701.01285
ER  -