In the 1930s, he did important work on Church's lambda calculus.
在20世紀30年代，他在丘奇的lambda演算上做了重要的工作。