TY  - RPRT
TI  - A type system for PSPACE derived from light linear logic
AU  - Lucien Capedevielle
PY  - 2012
DO  - 10.4204/eptcs.75.4
UR  - https://arxiv.org/abs/1201.1122
ID  - 1201.1122
ER  -