Alan M. Turing
According to our database^{1}, Alan M. Turing
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org

at viaf.org

at isni.org

at id.loc.gov

at dnb.info

at dl.acm.org
On csauthors.net:
Bibliography
2012
Report on Speech Secrecy System DELILAH, a Technical Description Compiled by A. M. Turing and Lieutenant D. Bayley REME, 19451946.
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 pFunction in λKConversion.
J. Symb. Log., 1937
Computability and λDefinability.
J. Symb. Log., 1937