TY  - RPRT
TI  - Derivatives of Turing machines in Linear Logic
AU  - James Clift
AU  - Daniel Murfet
PY  - 2019
UR  - https://arxiv.org/abs/1805.11813
ID  - 1805.11813
ER  -