Assertion: church's function | /r/DefinedAs | λ-calculus
Facets:
Source sentences:
text: And in a proof-sketch added as an "Appendix" to his 1936–37 paper, Turing showed that the classes of functions defined by λ-calculus and Turing machines coincided.