TY  - RPRT
TI  - On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
AU  - Federico Aschieri
PY  - 2016
DO  - 10.2168/lmcs-12(3:13)2016
UR  - https://arxiv.org/abs/1609.03190
ID  - 1609.03190
ER  -