1. Anderson, C. A. (1987). Semantical antinomies in the logic of sense and denotation. Notre Dame Journal of Formal Logic, 28(1), 99–114.
2. Barendregt, H. P. (1992). Lambda calculi with types. Retrieved November 15, 2016, from
http://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf
.
3. Bell, J. L. (2012). Types, sets and categories. In A. Kanamori, D. Gabbay, & J. Woods (Eds.), Handbook of the history of logic. Amsterdam: Elsevier.
4. Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5(2), 56–68.
5. Church, A. (1951). A formulation of the logic of sense and denotation. In P. Henle, H. M. Kallen, & S. K. Langer (Eds.), Structure, method and meaning: Essays in honor of Henry M. Sheffer (pp. 3–24). New York: The Liberal Arts Press.