@misc{indiciaefc2a49a25e67,
  title = {On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic},
  author = {Federico Aschieri and Matteo Manighetti},
  year = {2017},
  doi = {10.4230/lipics.types.2016.4},
  url = {https://arxiv.org/abs/1612.05457},
  note = {Source identifier: 1612.05457}
}