En 1941 publicó su monografía "The calculi of lambda-conversión." Este trabajo tiene gran influencia en el área de computación teórica.