%0 Journal Article %1 journals/jsyml/EscardoO17 %A Escardó, Martín %A Oliva, Paulo %D 2017 %J J. Symb. Log. %K dblp %N 2 %P 590-607 %T The Herbrand Functional Interpretation of the double Negation Shift. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml82.html#EscardoO17 %V 82

@article{journals/jsyml/EscardoO17, added-at = {2017-07-19T00:00:00.000+0200}, author = {Escardó, Martín and Oliva, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2844be001afe9b2036ee5bdd71128456c/dblp}, ee = {https://doi.org/10.1017/jsl.2017.8}, interhash = {2da8ab40e1659231b50543ac95da0333}, intrahash = {844be001afe9b2036ee5bdd71128456c}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {590-607}, timestamp = {2017-07-20T11:38:36.000+0200}, title = {The Herbrand Functional Interpretation of the double Negation Shift.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml82.html#EscardoO17}, volume = 82, year = 2017 }