1. Gödel’s Functional (“Dialectica”) Interpretation
2. Strongly Majorizable Functionals of Finite Type: A Model for Bar Recursion Containing Discontinuous Functionals;Bezem;The Journal of Symbolic Logic,1985
3. Ferreira , F. 2007 Injecting Uniformities into Peano Arithmetic Annals of Pure and Applied Logic
4. Bounded Functional Interpretation;Ferreira;Annals of Pure and Applied Logic,2005