John von Neumann, « First Draft of a Report on the EDVAC », IEEE Annals of the History of Computing, vol. 15, no 4, , p. 27–75 (ISSN1058-6180, DOI10.1109/85.238389, lire en ligne, consulté le )
(en) A. M. Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, vol. s2-42, no 1, , p. 230–265 (ISSN0024-6115, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
John von Neumann, « First Draft of a Report on the EDVAC », IEEE Annals of the History of Computing, vol. 15, no 4, , p. 27–75 (ISSN1058-6180, DOI10.1109/85.238389, lire en ligne, consulté le )
issn.org
portal.issn.org
(en) A. M. Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, vol. s2-42, no 1, , p. 230–265 (ISSN0024-6115, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
John von Neumann, « First Draft of a Report on the EDVAC », IEEE Annals of the History of Computing, vol. 15, no 4, , p. 27–75 (ISSN1058-6180, DOI10.1109/85.238389, lire en ligne, consulté le )
researchgate.net
Brian E. Blank, « Review of `The Universal Computer: The Road from Leibniz to Turing` », Notices of the AMS, , p. 498 (lire en ligne).
John Tromp, « Binary Lambda Calculus and Combinatory Logic », Kolmogorov Complexity and Applications 2006, (lire en ligne).
stanford.edu
plato.stanford.edu
B. Jack Copeland, The Stanford Encyclopedia of Philosophy, Metaphysics Research Lab, Stanford University, (lire en ligne)
wiley.com
londmathsoc.onlinelibrary.wiley.com
(en) A. M. Turing, « On Computable Numbers, with an Application to the Entscheidungsproblem », Proceedings of the London Mathematical Society, vol. s2-42, no 1, , p. 230–265 (ISSN0024-6115, DOI10.1112/plms/s2-42.1.230, lire en ligne, consulté le )
