Alan M. Turing - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

1948

Practical Forms of Type TheoryAlan M. Turing. JSYML, 13(2):80-94, 1948.

1942

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

1937

The Ø-Function in lambda-K-ConversionAlan M. Turing. JSYML, 2(4):164, 1937.
Computability and lambda-DefinabilityAlan M. Turing. JSYML, 2(4):153-163, 1937.

1936

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