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.