TY  - RPRT
TI  - Encodings of Turing machines in Linear Logic
AU  - James Clift
AU  - Daniel Murfet
PY  - 2018
DO  - 10.1017/s0960129520000109
UR  - https://arxiv.org/abs/1805.10770
ID  - 1805.10770
ER  -