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. ,
A study of inverse interpolation of the Eniac, 1946. ,
Planning and coding of problems for an electronic computing instrument part I,II and III, 1947-48 ,
On the equivalence and transformation of program schemes, Communications of the ACM, vol.1, issue.10, pp.8-12, 1958. ,
Early development of programming languages, History of Computing in the Twentieth Century, pp.197-274, 1980. ,
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
Review of " The logic of program composition by H.B. Curry " . The Journal of Symbolic Logic, pp.102-103, 1957. ,
Franz Alt interview, 1972. ,