Alan M. Turing

According to our database1, Alan M. Turing
  • authored at least 10 papers between 1937 and 2012.
  • has a "Dijkstra number"2 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2012
Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 1945-1946.
Cryptologia, 2012

2003
Alan M. Turing's Critique of Running Short Cribs on the U. S. Navy Bombe.
Cryptologia, 2003

2001
Visit to National Cash Register Corporation of Dayton, Ohio.
Cryptologia, 2001

1954
Summary of Unfinished Work
Collected Works, June, 1954

1948
Practical Forms of Type Theory.
J. Symb. Log., 1948

1942
The Use of Dots as Brackets in Church's System.
J. Symb. Log., 1942

A Formal Theorem in Church's Theory of Types.
J. Symb. Log., 1942

1938
Systems of Logic Based on Ordinals.
PhD thesis, 1938

1937
The p-Function in λ-K-Conversion.
J. Symb. Log., 1937

Computability and λ-Definability.
J. Symb. Log., 1937


  Loading...