TY  - RPRT
TI  - From QBFs to MALL and back via focussing: fragments of multiplicative additive linear logic for each level of the polynomial hierarchy
AU  - Anupam Das
PY  - 2020
UR  - https://arxiv.org/abs/1906.03611
ID  - 1906.03611
ER  -