, An early History of recursive Functions and Computability, 2011.
, John von Neumann and the origins of modern computing, 1990.
, Die logizistische Grundlegung der Mathematik, Erkenntnis, vol.2, issue.1, pp.91-105, 1931.
DOI : 10.1007/BF02028142
, On certain formal properties of grammars, Information and Control, pp.137-167, 1959.
DOI : 10.1016/S0019-9958(59)90362-6
, A Set of Postulates For the Foundation of Logic, The Annals of Mathematics, vol.34, issue.4, pp.839-864, 1933.
DOI : 10.2307/1968702
, An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2, pp.345-363, 1936.
DOI : 10.2307/2371045
, A note on the Entscheidungsproblem', The Journal of Symbolic Logic, pp.40-41, 1936.
, Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850?1960) and beyond', Archive for the history of Exact Sciences, pp.393-455, 2008.
, Engines of Logic: Mathematicians and the Origin of the Computer, 2001.
, A Turing tale, Communications of the ACM, vol.57, issue.10, pp.36-38, 2014.
DOI : 10.1145/2629499
, AUTOMATH, a Language for Mathematics, 1968.
DOI : 10.1007/978-3-642-81955-1_11
, Social processes and proofs of theorems and programs, Communications of the ACM, vol.22, issue.5, pp.271-280, 1979.
DOI : 10.1145/359104.359106
, Haskell before Haskell: an alternative lesson in practical logic of the ENIAC, Journal of Logic and Computation, in print
, Facing Computing as Technique: Towards a History and Philosophy of Computing, Philosophy & Technology, pp.1-6, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01356336
, A constructive approach to the problem of program correctness, BIT, vol.6, issue.3, pp.174-186, 1968.
DOI : 10.1007/BF01933419
, The humble programmer, Communications of the ACM, vol.15, issue.10, pp.859-866, 1972.
DOI : 10.1145/355604.361591
, The computer boys take over, 2010.
DOI : 10.7551/mitpress/9780262050937.001.0001
, Program Verification: The Very Idea, Communications of the ACM, vol.37, pp.1048-1063, 1988.
, On Malfunctioning Software' , Synthese, pp.1199-1220, 2015.
, Miscomputation, Philosophy & Technology, vol.21, issue.2, pp.253-272, 2013.
DOI : 10.1007/s13347-013-0112-0
, The confluence of ideas in 1936 The Universal Turing machine, pp.55-111, 1988.
, When computers were human Princeton, 2007.
, Dijkstra's crisis: The end of Algol and the beginning of software engineering: 1968-72', in: Workshop on the history of software, European styles, 2010.
, Actually, Turing did not invent the computer, Communications of the ACM, vol.57, issue.1, pp.36-41, 2014.
DOI : 10.1145/2542504
, Reconsidering the Stored-Program Concept, IEEE Annals of the History of Computing, vol.36, issue.1, pp.4-17, 2014.
DOI : 10.1109/MAHC.2013.56
, The tears of Donald Knuth, Communications of the ACM, vol.58, issue.1, pp.40-44, 2015.
DOI : 10.1145/2688497
, What is computer science and engineering, Computing the Future: A Broader Agenda for Computer Science and Engineering, pp.163-216, 1992.
, Die intuitionistische Grundlegung der Mathematik, Erkenntnis, vol.2, issue.1, pp.106-115, 1931.
DOI : 10.1007/BF02028143
, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259
, Computer Science and Its Relation to Mathematics, The American Mathematical Monthly, vol.81, issue.4, pp.323-343, 1974.
DOI : 10.2307/2318994
, Mechanizing Proof ? Computing, Risk and Trust, 2001.
, The History of Computing in the History of Technology, IEEE Annals of the History of Computing, vol.10, issue.2, pp.113-125, 1988.
DOI : 10.1109/MAHC.1988.10011
, Recursive functions symbolic expressions and their computation by machine, Part I, Communications of the ACM, vol.3, issue.4, pp.184-195, 1960.
DOI : 10.1145/367177.367199
, Computer Science, Science, vol.157, issue.3795, pp.1373-1374, 1967.
DOI : 10.1126/science.157.3795.1373-b
, When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950???1960, Technology and Culture, vol.55, issue.1, pp.40-75, 2014.
DOI : 10.1353/tech.2014.0031
, Before the ENIAC [weapons firing table calculations], IEEE Annals of the History of Computing, vol.19, issue.2, pp.25-30, 1997.
DOI : 10.1109/85.586069
, Absolutely unsolvable problems and relatively undecidable propositions -Account of an anticipation The Undecidable. Basic papers on undecidable propositions, unsolvable problems and computable functions, pp.340-433, 1965.
, Finite Combinatory Processes -Formulation 1', The Journal of Symbolic Logic, pp.289-291, 1936.
, Toward a mathematical semantics for computer languages, Oxford Programming Research Group Technical Monograph, 1971.
, A Symbolic Analysis of Relay and Switching Circuits, Transactions of the American Institute of Electrical Engineers, pp.713-723, 1938.
, Algebra of Two Poles Schemata (Algebra of A- Schemata), Journal of Technical Physics, vol.11, pp.532-549, 1941.
, The science of Computing. Shaping a discipline, 2015.
, On computable numbers with an application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, pp.230-265, 1937.
, The Philosophy of Computer Science The Stanford Encyclopedia of Philosophy, 2014.
, Von Neumann: The Interaction of Mathematics and Computing, History of Computing in the Twentieth Century. Proceeding of the International Research Conference on the History of Computing, pp.93-99, 1976.
, From Frege to Gödel: A source book in Mathematical Logic 1879?1931, 1967.
, Electronic methods of computation', Bulletin of the American Academy of Arts and Sciences, pp.2-4, 1948.