Publications

Kalmar and Peter: Undecidability as a Consequence of Incompleteness

Submitted by admin on Sun, 08/02/2015 - 10:55

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.

Read more about Kalmar and Peter: Undecidability as a Consequence of Incompleteness
Log in or register to post comments
Google Scholar

From mathematical logic to programming-language semantics: a discussion with Tony Hoare

Submitted by admin on Fri, 07/24/2015 - 11:24

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.

Read more about From mathematical logic to programming-language semantics: a discussion with Tony Hoare
Log in or register to post comments
Google Scholar
DOI

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC

Submitted by admin on Fri, 07/24/2015 - 11:22

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.

Read more about Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
Log in or register to post comments
Google Scholar
DOI

Continuity in Semantic Theories of Programming

Submitted by admin on Thu, 07/02/2015 - 09:31

F. Cardone, “Continuity in Semantic Theories of Programming”, History and Philosophy of Logic, pp. 1-20, 2015.

Read more about Continuity in Semantic Theories of Programming
Log in or register to post comments
Google Scholar
DOI

Realist Consequence, Epistemic Inference, Computational Correctness

Submitted by admin on Thu, 07/02/2015 - 09:29

G. Primiero, “Realist Consequence, Epistemic Inference, Computational Correctness”, in The Road to Universal Logic, A. Koslow and Buchsbaum, A. Birkenhauser, Springer, 2015.

Read more about Realist Consequence, Epistemic Inference, Computational Correctness
Log in or register to post comments
Google Scholar

Computing As Model-based Empirical Science

Submitted by admin on Wed, 04/29/2015 - 08:58

P. Fishwick, “Computing As Model-based Empirical Science”, in Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation, New York, NY, USA, 2014.

Read more about Computing As Model-based Empirical Science
Log in or register to post comments
Google Scholar
DOI

Constructivity and Computability in Historical and Philosophical Perspective

Submitted by admin on Wed, 02/25/2015 - 09:44

J. Dubucs and Bourdeau, M., Constructivity and Computability in Historical and Philosophical Perspective, vol. 34. Springer, 2014.

Read more about Constructivity and Computability in Historical and Philosophical Perspective
Log in or register to post comments
Google Scholar
DOI

The Tears of Donald Knuth

Submitted by admin on Thu, 01/29/2015 - 11:29

T. Haigh, “The Tears of Donald Knuth”, Communications of the ACM, vol. 58, no. 1, 2015.

Read more about The Tears of Donald Knuth
Log in or register to post comments
Google Scholar
DOI

What an Algorithm Is

Submitted by admin on Tue, 01/13/2015 - 15:59

R. K. Hill, “What an Algorithm Is”, Philosophy & Technology, pp. 1-25, 2015.

Why Did Computer Science Make a Hero out of Turing?

Submitted by mbullynck on Tue, 01/13/2015 - 10:45

M. Bullynck, Daylight, E., and De Mol, L., “Why Did Computer Science Make a Hero out of Turing?”, Communications of the ACM, In Press.

Read more about Why Did Computer Science Make a Hero out of Turing?
Log in or register to post comments
Google Scholar

Pages