Some papers published during the early years of his research include The universal quantifier in combinatory logic (1931), Some additions to the theory of combinators (1932), Apparent variables from the standpoint of combinatory logic (1933), and Some properties of equality and implication in combinatory logic (1934).
Ang ilang mga papeles na nai-publish sa panahon ng mga unang taon ng kanyang mga pananaliksik isama Ang pandaigdig na quantifier sa combinatory lohika (1931), ilang mga pandagdag sa teorya ng combinators (1932), maliwanag mga variable mula sa paninindigan ng combinatory lohika (1933), at ilang mga pag-aari ng pagkakapantay-pantay at pagkakasangkot sa combinatory lohika (1934).