The p-function in lambda-K-conversion
From BibNetWiki
- Journal of Symbolic Logic 2(4):164--164, @dec, 1937
- Url BibtexAuthor : Alan M. Turing
Title : The \$p\$-function in \$$\lambda$-{K}\$-conversion
Publication Type : Journal of Symbolic Logic -
Address :
Date : @dec 1937
