Constructivism in Mathematics, vol. I, A. S. Troelstra e D. van Dalen. North-Holland, Amsterdam (1988). Troelstra, A.S. & Schwichtenberg, H.: Basic Proof Theory, Cambridge University Press, 2000. Ferreira, F. & Ferreira, G.: "Atomic Polymorphism", The Journal of Symbolic Logic 78, pp. 260-274 (2013) Ferreira, F.: "Proof interpretations and majorizability". Em Logic Colloquium'07, Françoise Delon et al. org., Cambridge University Press 2010, pp. 32-81. In http://www.ciul.ul.pt/~ferferr/proof_interpretations.pdf. Avigad, J. & Feferman, S.: "Gödel's functional ('Dialectica') interpretation". Em Handbook of Proof Theory, pp. 337-405, organizado por S. Buss, Elsevier, 1998. Applied Proof Theory, U. Kohlenbach. Springer (2008).: