@misc{indiciae795b8cb93d9b,
  title = {On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC},
  author = {Federico Aschieri},
  year = {2016},
  doi = {10.2168/lmcs-12(3:13)2016},
  url = {https://arxiv.org/abs/1609.03190},
  note = {Source identifier: 1609.03190}
}