%0 Journal Article %1 journals/apal/FerreiraO07 %A Ferreira, Fernando %A Oliva, Paulo %D 2007 %J Ann. Pure Appl. Log. %K dblp %N 2 %P 115-129 %T Bounded functional interpretation and feasible analysis. %U http://dblp.uni-trier.de/db/journals/apal/apal145.html#FerreiraO07 %V 145

@article{journals/apal/FerreiraO07, added-at = {2020-02-21T00:00:00.000+0100}, author = {Ferreira, Fernando and Oliva, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/228bf986240f12788daa073a2710b512a/dblp}, ee = {https://doi.org/10.1016/j.apal.2006.07.002}, interhash = {fceb23268eb56605fc163a08c45ae0c0}, intrahash = {28bf986240f12788daa073a2710b512a}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 2, pages = {115-129}, timestamp = {2020-02-22T12:48:11.000+0100}, title = {Bounded functional interpretation and feasible analysis.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal145.html#FerreiraO07}, volume = 145, year = 2007 }