Input (grade 10): He is best known for the lambda calculus, Church - Turing thesis, Church Frege ontology, and the Church-Rosser theorem.
Output (grade 8): He is best known for the lambda calculus, Church's thesis and the Church-Rosser theorem.