Computability and λ-definability
- 1 December 1937
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 2 (4) , 153-163
- https://doi.org/10.2307/2268280
Abstract
Computability and λ-definability - Volume 2 Issue 4 - A. M. TuringKeywords
This publication has 4 references indexed in Scilit:
- General recursive functions of natural numbersMathematische Annalen, 1936
- λ-definability and recursivenessDuke Mathematical Journal, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Some properties of conversionTransactions of the American Mathematical Society, 1936