Alan M. Turing - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

BibTeX | Compact BibTeX | RSS

Alan M. Turing. Practical Forms of Type Theory. jsyml, 13(2):80-94, 1948.

M. H. A. Newman, Alan M. Turing. A Formal Theorem in Church s Theory of Types. jsyml, 7(1):28-33, 1942.
Alan M. Turing. The Use of Dots as Brackets in Church s System. jsyml, 7(4):146-156, 1942.

Alan M. Turing. Computability and lambda-Definability. jsyml, 2(4):153-163, 1937.
Alan M. Turing. The Ø-Function in lambda-K-Conversion. jsyml, 2(4):164, 1937.

Alan M. Turing. On Computable Numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc., 2(42):230-265, 1936.