TY  - RPRT
TI  - Classical Proofs as Parallel Programs
AU  - Federico Aschieri
AU  - Agata Ciabattoni
AU  - Francesco Antonio Genco
PY  - 2018
DO  - 10.4204/eptcs.277.4
UR  - https://arxiv.org/abs/1809.03094
ID  - 1809.03094
ER  -