Alan M. Turing

1948
5		Alan M. Turing: Practical Forms of Type Theory. J. Symb. Log. 13(2): 80-94 (1948)
1942
4		M. H. A. Newman, Alan M. Turing: A Formal Theorem in Church's Theory of Types. J. Symb. Log. 7(1): 28-33 (1942)
3		Alan M. Turing: The Use of Dots as Brackets in Church's System. J. Symb. Log. 7(4): 146-156 (1942)
1937
2		Alan M. Turing: Computability and lambda-Definability. J. Symb. Log. 2(4): 153-163 (1937)
1		Alan M. Turing: The Ø-Function in lambda-K-Conversion. J. Symb. Log. 2(4): 164 (1937)

Coauthor Index

1

M. H. A. Newman

[4]