In 1940, he also introduced a computationally weaker, but logically consistent system, known as the simply typed lambda calculus.
У 1940. години, он је такође увео рачунски слабији, али логички доследнији систем, знан као једноставни типски ламбда рачун.