%0 Journal Article %1 journals/corr/EscardoO14a %A Escardó, Martín Hötzel %A Oliva, Paulo %D 2014 %J CoRR %K dblp %T The Herbrand Functional Interpretation of the Double Negation Shift. %U http://dblp.uni-trier.de/db/journals/corr/corr1410.html#EscardoO14a %V abs/1410.4353

@article{journals/corr/EscardoO14a, added-at = {2018-08-13T00:00:00.000+0200}, author = {Escardó, Martín Hötzel and Oliva, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2f335a33600e0a42c1571c5633f926220/dblp}, ee = {http://arxiv.org/abs/1410.4353}, interhash = {702745d6482ec81b5479c24cdd183497}, intrahash = {f335a33600e0a42c1571c5633f926220}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T15:17:16.000+0200}, title = {The Herbrand Functional Interpretation of the Double Negation Shift.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1410.html#EscardoO14a}, volume = {abs/1410.4353}, year = 2014 }