Found 62 results
F. Cardone, Games, Full Abstraction and Full Completeness, in The Stanford Encyclopedia of Philosophy, Spring 2017th ed., E. N. Zalta Metaphysics Research Lab, Stanford University, 2017.
B. Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe , Computability, vol. 5, no. 1, pp. 3-11, 2016.
R. Hill, A Call for More Philosophy in the Philosophy of Computer Science, Newsletter on Philosophy and Computers, vol. 15, no. 2, 2016.
R. K. Hill, Does Nature Use Data?, Communications of the ACM, 2016.
T. Haigh, Priestley, M., and Rope, C., ENIAC in Action: Making and Remaking the Modern Computer. The MIT Press, 2016.
F. Gadducci and Tavosanis, M., History and Philosophy of Computing -- Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers, vol. 487. Springer, 2016.
G. Primiero, Information in the Philosophy of Computer Science, in The Routledge Handbook of Philosophy of Information, London and New York: Routledge, 2016.
J. Joque, The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages, Philosophy {&} Technology, vol. 29, pp. 335–356, 2016.
M. Tedre and Denning, P. J., The Long Quest for Computational Thinking, in Proceedings of the 16th Koli Calling Conference on Computing Education Research,, 2016.
M. Szabo, The M-3 in Budapest and Szeged, Proceedings of the IEEE, vol. 104, no. 10, pp. 2062-2069, 2016.
R. K. Hill, What Makes a Program Elegant?, [email protected], 2016. [Online]. Available:
F. Cardone, Continuity in Semantic Theories of Programming, History and Philosophy of Logic, pp. 1-20, 2015.
E. G. Daylight, From mathematical logic to programming-language semantics: a discussion with Tony Hoare, Journal of Logic and Computation, vol. 25, pp. 1091-1110, 2015.
G. White, Hardware, Software, Humans: Truth, Fiction and Abstraction, History and Philosophy of Logic, pp. 1-24, 2015.
L. De Mol, Carlé, M., and Bullynck, M., Haskell before Haskell: an alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, vol. 25, pp. 1011-1046, 2015.
M. Szabo, Kalmar and Peter: Undecidability as a Consequence of Incompleteness, Computability in Europe, vol. Beckmann, Mitrana, and Soskova (eds) - Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.
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.
G. Primiero, Realist Consequence, Epistemic Inference, Computational Correctness, in The Road to Universal Logic, A. Koslow and Buchsbaum, A. Birkenhauser, Springer, 2015.
M. Tedre, The Science of Computing -- Shaping a Discipline. CRC Press - Taylor & Francis Group, 2015.
T. Haigh, The Tears of Donald Knuth, Communications of the ACM, vol. 58, no. 1, 2015.
E. G. Daylight, Towards a Historical Notion of ‘Turing—the Father of Computer Science’, History and Philosophy of Logic, pp. 1-24, 2015.
G. Sommaruga and Strahm, T., Turing's Revolution: The Impact of His Ideas about Computability. Birkhäuser, 2015, p. 329.
S. Bringsjord, A Vindication of Program Verification, History and Philosophy of Logic, pp. 1-16, 2015.