Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3, , p. 39–67 (ISSN1281-2463, DOI10.4000/philosophiascientiae.769, lire en ligne, consulté le )
Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3, , p. 39–67 (ISSN1281-2463, DOI10.4000/philosophiascientiae.769, lire en ligne, consulté le )
labri.fr
Yves Bertod et Pierre Casteran, Interactive Theorem Proving and Program development (lire en ligne), « 2.1 »
openedition.org
journals.openedition.org
Maël Pégny, « Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul », Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, nos 16-3, , p. 39–67 (ISSN1281-2463, DOI10.4000/philosophiascientiae.769, lire en ligne, consulté le )
projecteuclid.org
Nachum Dershowitz et Yuri Gurevich, « A natural axiomatization of computability and proof of Church's Thesis », Bull. Symbolic Logic, vol. 14, no 3, , p. 299 - 350 (lire en ligne)
sciencedirect.com
Robin Gandy, « Church's Thesis and Principles for Mechanisms », Studies in Logic and the Foundations of Mathematics, , p. 123-148 (lire en ligne)
theses.fr
Maël Pégny, Sur les limites empiriques du calcul : calculabilité, complexité et physique, Paris 1, (lire en ligne)[réf. incomplète]