Il est surtout connu pour le calcul lambda, Church -- Turing thèse, Church Frege ontology et le théorème de Church-Rosser.
Il est surtout connu pour le calcul lambda, la thèse de l'Eglise et le théorème de Church-Rosser.