Classical Proofs as Parallel Programs

Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A.

doi:10.4204/EPTCS.277.4

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}
}