Category: Publications

G. Sommaruga and Strahm, T., Turing’s Revolution: The Impact of His Ideas about Computability. Birkhäuser, 2015, p. 329.

R. Hill, “A Call for More Philosophy in the Philosophy of Computer Science”, Newsletter on Philosophy and Computers, vol. 15, no. 2, 2016.

B. Löwe, “ Barry Cooper (1943–2015): The engine of Computability in Europe ”, Computability, vol. 5, no. 1, pp. 3-11, 2016.

M. – J. Durand-Richard, “Babbage et Boole : les lois du calcul symbolique”, Intellectica, vol. 39, no. 2, pp. 23-53, 2004.

L. De Mol and Primiero, G., “When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science”, History and Philosophy of Logic, pp. 1-10, 2015. http://dx.doi.org/10.1080/01445340.2015.1084183

E. G. Daylight, “Towards a Historical Notion of ‘Turing—the Father of Computer Science’”, History and Philosophy of Logic, pp. 1-24, 2015. http://dx.doi.org/10.1080/01445340.2015.1082050

H. Durnova, “Embracing the Algol Effort in Czechoslovakia”, Annals of the History of Computing, IEEE, vol. 36, pp. 26-37, 2014. http://dx.doi.org/10.1109/MAHC.2014.51

S. Bringsjord, “A Vindication of Program Verification”, History and Philosophy of Logic, pp. 1-16, 2015. http://dx.doi.org/10.1080/01445340.2015.1065461

M. Bullynck, “Programming Primes (1968–1976): A Paradigmatic Program and Its Incarnations in the Age of Structured Programming”, History and Philosophy of Logic, pp. 1-13, 2015. http://dx.doi.org/10.1080/01445340.2015.1065459

G. White, “Hardware, Software, Humans: Truth, Fiction and Abstraction”, History and Philosophy of Logic, pp. 1-24, 2015. http://dx.doi.org/10.1080/01445340.2015.1059992