He is best known for the lambda calculus , Church -- Turing thesis , Church PERSON@1 ontology , and the MISC@1 theorem .

He is best known for the lambda calculus , Church 's thesis and the MISC@1 theorem .
