Biblio

Found 67 results
2017
G. Primiero, Algorithmic Iteration for Computational Intelligence, Minds and Machines, pp. 1–23, 2017.
Lde Almedia Pereira and Vianna, M., Dimensoes da Historia e da Memoria da Informatica no Brasil (in Portuguese). Jundiai - SP: Paco Editorial, 2017.
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.
T. Petricek, Miscomputation in software: Learning to live with errors, The Art, Science, and Engineering of Programming, vol. 1, no. 2, 2017.
E. A. Lee, Plato and the Nerd, 1st ed. MIT Press, 2017.
L. Corry, Turing's Pre-war Analog Computers: The Fatherhood of the Modern Computer Revisited, Commun. ACM, vol. 60, pp. 50–58, 2017.
2015
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.

Pages