Computability and λ-Definability

  title={Computability and λ-Definability},
  author={Alan M. Turing},
  journal={J. Symb. Log.},
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work… CONTINUE READING
Highly Influential
This paper has highly influenced 101 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
206 Citations
0 References
Similar Papers