This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
 H. Barendregt , The lambda calculus. Its syntax and semantics, Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1984.
and , , , vol. (), pp. –.[CM88] J. Cichoń M. Morayne Universal functions and generalized classes of functions Proceedings of the American Mathematical Society 102 1988 8389
 M. J. Beeson , Foundations of constructive mathematics, Springer-Verlag, Berlin, 1985.
[Dar96] U. Darji , Countable decomposition of derivatives and Baire 1 functions, Journal of Applied Analysis, vol. 2 (1996), pp. 119–124.
[Das74] F. K. Dashiell Jr., Isomorphism problems for the Baire classes, Pacific Journal of Mathematics, vol. 52 (1974), pp. 29–43.
 A. Cantini , Notes on formal theories of truth, Zeitschrift für Mathematische Logik unddie Grund-lagen der Mathematik, vol. 35 (1989), pp. 97–130.
[Das81] F. K. Dashiell Jr., Nonweakly compact operators from order-Cauchy complete C(S) lattices, with application to Baire classes, Transactions of the American Mathematical Society, vol. 266 (1981), no. 2, pp. 397–413.
[GMA09] M. González and A. Martínez-Abejón , A local duality principle for the Baire classes of functions, Journal of Mathematical Analysis and Applications, vol. 350 (2009), no. 1, pp. 29–36.
 T. Coquand and M. Hofmann , A new method for establishing conservativity of classical systems over their intuitionistic version, Mathematical Structures in Computer Science, vol. 9 (1999), pp. 323–333.
[Jay74] J. E. Jayne , The space of class α Baire functions, American Mathematical Society. Bulletin, vol. 80 (1974), no. 6, pp. 1151–1156.
[JR79b] J. E. Jayne and C. A. Rogers , Borel isomorphisms at the first level II, Mathematika, vol. 26 (1979), no. 2, pp. 157–179.
 P. Minari , Theories with types and names with positive stratified comprehension, Studio Logica, vol. 62 (1999), pp. 215–242.
 W. Sieg (editor), Logic and computation, Contemporary Mathematics, American Mathematical Society, Providence, R. I., 1990.
[Kec95] A. S. Kechris , Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995.
 A. S. Troelstra and D. van Dalen , Constructivism in mathematics, Studies in Logic and the Foundations of Mathematics, Elsevier-North Holland, Amsterdam, 1988.
[PS12] J. Pawlikowski and M. Sabok , Decomposing Borel functions and structure at finite levels of the Baire hierarchy, Annals of Pure and Applied Logic, vol. 163 (2012), no. 12, pp. 1748–1764.
[Sol98] S. Solecki , Decomposing Borel sets and functions and the structure of Baire class 1 functions, Journal of the American Mathematical Society, vol. 11 (1998), no. 3, pp. 521–550.
[vMP95] J. van Mill and R. Pol , Baire 1 functions which are not countable unions of continuous functions, Acta Mathematica Hungarica, vol. 66 (1995), pp. 289–300.