by Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Reference:
Classical Proofs as Parallel ProgramsFederico Aschieri, Agata Ciabattoni, Francesco A. GencoProceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018., pages 43–57, 2018.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/abs-1809-03094,
author = {Federico Aschieri and
Agata Ciabattoni and
Francesco A. Genco},
title = {Classical Proofs as Parallel Programs},
booktitle = {Proceedings Ninth International Symposium on Games,
Automata, Logics, and Formal Verification, GandALF
2018, Saarbr{\"{u}}cken, Germany, 26-28th September
2018.},
pages = {43--57},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.4},
doi = {10.4204/EPTCS.277.4}
}