TY  - RPRT
TI  - Compiling With Classical Connectives
AU  - Paul Downen
AU  - Zena M. Ariola
PY  - 2021
DO  - 10.23638/lmcs-16(3:13)2020
UR  - https://arxiv.org/abs/1907.13227
ID  - 1907.13227
ER  -