Patrícia Engrácia, Fernando Ferreira. The bounded functional interpretation of the double negation shift. Journal of Symbolic Logic, 75(2):759-773, 2010. [doi]
@article{EngraciaF10,
title = {The bounded functional interpretation of the double negation shift},
author = {Patrícia Engrácia and Fernando Ferreira},
year = {2010},
url = {http://projecteuclid.org/euclid.jsl/1268917503},
researchr = {https://researchr.org/publication/EngraciaF10},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {75},
number = {2},
pages = {759-773},
}