Computability and lambda-Definability

Alan M. Turing. Computability and lambda-Definability. Journal of Symbolic Logic, 2(4):153-163, 1937.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.