TY  - RPRT
TI  - Paths-based criteria and application to linear logic subsystems characterizing polynomial time
AU  - Matthieu Perrinel
PY  - 2017
UR  - https://arxiv.org/abs/1701.01413
ID  - 1701.01413
ER  -