The \(p\)-function in \(\lambda\)-\(K\)-conversion.

DOI10.2307/2268281zbMath63.0825.01OpenAlexW2798583139MaRDI QIDQ2603371

Alan M. Turing

Publication date: 1937

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268281