1. Church, A. (1932), A set of postulates for the foundation of logic, Ann. of Math. (2) 33, 346–366.
2. Church, A. (1940), A formulation of the simple theory of types, J. Symbolic Logic
5, 56–68.
3. Curry, H.B.1 (1930), Grundlagen de kombinatorischen Logik (Inauguraldissertation), Amer. J. Math.
52, 509–536, 789–834.
4. Curry, H.B. (1934a), Some properties of equality and implication in combinatory logic, Ann. of Math. (2) 35, 849–860.
5. Curry, H.B. (1934b), Foundations of the theory of abstract sets from the standpoint of combinatory logic (Abstract), Bull. Amer. Math. Soc.
40, 654.