Original: He is best known for the lambda calculus , Church -- Turing thesis , Church Frege ontology , and the Church-Rosser theorem .
Simplified: He is best known for the lambda calculus , Church 's thesis and the Church-Rosser theorem .