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.