 In 1940, he also introduced a computationally weaker, but logically consistent system, known as the simply typed lambda calculus.Until the 1960s when its relation to programming languages was clarified, the lambda calculus was only a formalism.Thanks to Richard Montague and other linguists' applications in the semantics of natural language, the lambda calculus has begun to enjoy a respectable place in both linguistics and computer science.