John von Neumann and the origins of modern computing, 1990. ,
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, vol.21, issue.8, pp.613-641, 1978. ,
DOI : 10.1145/359576.359579
Setting-up early computer programs: D. H. Lehmer???s ENIAC computation, Archive for Mathematical Logic, vol.21, issue.8, pp.123-146, 2010. ,
DOI : 10.1007/s00153-009-0169-8
URL : https://hal.archives-ouvertes.fr/hal-01396497
John Von Neumann Preliminary Discussion of the Logical Design of an Electronic Computer Instrument Vol. I, Part I of Report on the mathematical and logical aspects of an electronic computing instrument, 1946. ,
A history of modern computing, 2002. ,
Curry On the Use of Dots as Brackets in Logical Expressions Journal of Symbolic Logic, pp.26-28, 1937. ,
The combinatory foundations of mathematical logic, The Journal of Symbolic Logic, vol.7, issue.02, pp.49-64, 1942. ,
DOI : 10.1090/S0002-9947-1941-0005275-6
On the composition of programs for automatic computing, 1949. ,
A program composition technique as applied to inverse interpolation, 1950. ,
The logic of program composition, Applications scientifiques de la logique mathématique, Actes du 2e Coll. Int. de Logique Mathématique, pp.97-102, 1954. ,
Foundations of mathematical logic, 1963. ,
A study of inverse interpolation of the Eniac, 1946. ,
The women of ENIAC, IEEE Annals of the History of Computing, vol.18, issue.3, pp.13-28, 1996. ,
DOI : 10.1109/85.511940
On the Principles of Large Scale Computing Machines, Lecture manuscript, pp.1-32, 1946. ,
Planning and coding of problems for an electronic computing instrument Volume 2 of Report on the mathematical and logical aspects of an electronic computing instrument, part I,II and III, pp.1947-1995 ,
The Computer from. Pascal to von Neumann, 1972. ,
The ENIAC, the verb "to program" and the emergence of digital computers, IEEE Annals of the History of Computing, vol.18, issue.1, pp.51-55, 1996. ,
DOI : 10.1109/85.476561
The ENIAC, an Electronic Computing Machine Nature, pp.500-506, 1946. ,
On the equivalence and transformation of program schemes, Communications of the ACM, vol.1, issue.10, pp.8-12, 1958. ,
Recursive predicates and quantifiers Transactions of the, pp.41-73, 1943. ,
Early development of programming languages, History of Computing in the Twentieth Century, pp.197-274, 1980. ,
Lehmer A history of the sieve process, History of Computing in the Twentieth Century, pp.445-456, 1980. ,
The histories of computing(s) Interdisciplinary science reviews, pp.119-135, 2005. ,
What makes the history of software hard and why it matters. IEEE Annals for the history of computing, pp.8-18, 2008. ,
Theory of algorithms. Translated from the Russian edition The National Science FoundationC. and The Department of Commerce by The Israel Program for Scientific Translations, 1954. ,
A week-end off: The First Extensive Number-Theoretical computation on the ENIAC, Logic and Theory of Algorithms, CIE2008, pp.158-167, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01396832
Haskell before Haskell: Curry's Contribution to Programming (1946-1950), Programs, Proofs, Processes, pp.108-117, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01396489
The Second Life of ENIAC, IEEE Annals of the History of Computing, vol.28, issue.2, pp.4-16, 2006. ,
DOI : 10.1109/MAHC.2006.39
Review of " The logic of program composition by H.B. Curry " . The Journal of Symbolic Logic, pp.102-103, 1957. ,
Lightning Strikes Mathematics: ENIAC Popular Science, pp.83-86, 1946. ,
Franz Alt, interview, pp.1969-1973, 1972. ,
Jean Bartik and Frances Holberton, interview, pp.1969-1973, 1973. ,
Some Remarks on the History of Computing in Germany, History of Computing in the Twentieth Century, pp.611-627, 1980. ,
DOI : 10.1016/B978-0-12-491650-0.50045-9