TY  - RPRT
TI  - On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic
AU  - Federico Aschieri
AU  - Matteo Manighetti
PY  - 2017
DO  - 10.4230/lipics.types.2016.4
UR  - https://arxiv.org/abs/1612.05457
ID  - 1612.05457
ER  -