TY  - RPRT
TI  - Linear Logic by Levels and Bounded Time Complexity
AU  - Patrick Baillot
AU  - Damiano Mazza
PY  - 2009
DO  - 10.1016/j.tcs.2009.09.015
UR  - https://arxiv.org/abs/0801.1253
ID  - 0801.1253
ER  -