[Alston, W. P. (2000). Illocutionary Acts and Sentence Meaning. Ithaca: Cornell University Press.]Search in Google Scholar
[Church, A. (1941). The Calculi of Lambda-Conversion (ISBN 978-0-691-08394-0) [1]]Search in Google Scholar
[Colburn, T. (2000). Philosophy and Computer Science. M.E. Sharp Publishers. New & rk, London.]Search in Google Scholar
[(1988). Fetzer. J.H. Program Verification: the very idea. Communications of the ACM. Volume 3:9.]Search in Google Scholar
[Frigg, R. & Hartmann, S. (2018). Models in Science. The Stanford Encyclopedia of Philosophy (Summer 2018 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/sum2018/entries/models-science/.]Search in Google Scholar
[Hoare, C.A. (1969). An Axiomatic Basis for computer programming. Communications of the ACM, Volume 12, Issue 10.10.1145/363235.363259]Search in Google Scholar
[Horsman, C., Stepney, S., Wagner, R. & Kendon, V. (2014). When does a physical system compute? Proc. R. Soc. A September 8.]Search in Google Scholar
[(1988). Kroes, P. Technological explanations: the relation between structure and function of technological objects. Techné: Research in Philosophy and Technology 3 (3), 124–134.10.5840/techne19983325]Search in Google Scholar
[Kroes, P. (2012). Technical Artifacts: Creations of Mind and Matter: A Philosophy of Engineering Design. Springer.]Search in Google Scholar
[Pears, D. (2006). Paradox and Platitude in Wittgenstein’s Philosophy. Oxford: Oxford University Press.10.1093/acprof:oso/9780199247707.001.0001]Search in Google Scholar
[Piccinini, G. (2015). Computation in Physical Systems. The Stanford Encyclopedia of Philosophy (Summer 2015 Edition).]Search in Google Scholar
[Piccinini, G. (2016). Physical Computation: A Mechanistic Account. Oxford.]Search in Google Scholar
[Putnam, H. (1980). Minds and Machines. In Dimensions of Mind: A Symposium. S. Hook (ed.), New York: Collier. pp. 138–164.]Search in Google Scholar
[Rapaport, W. J. (2020). Philosophy of Computer Science. https://cse.buffalo.edu/~rapaport/Papers/phics.pdf]Search in Google Scholar
[Scott D.S. (1980). Lambda calculus: Some models, some philosophy Barwise, et al. (Eds.), The Kleene Symposium, Studies in Logic, 101, North-Holland, pp. 381–421.]Search in Google Scholar
[Turner, R. (2007). Understanding Programming Languages. Minds and Machines 17(2): 203–216.]Search in Google Scholar
[Turner, R. & Angius, N. (2017). The Philosophy of Computer Science. The Stanford Encyclopaedia of Philosophy (Spring 2017 Edition).]Search in Google Scholar
[Turner, R. (2018). Computational Artifacts. Towards a Philosophy of Computer Science. Springer.10.1007/978-3-662-55565-1_22]Search in Google Scholar
[Turner, R. (2011). Specification. Minds and Machines 21 (2): 135-152.]Search in Google Scholar
[Turner, R. (2020). Correctness, Explanation and Intention. DOI: 10.1007/978-3-030-22996-2_6. In Computing with Foresight and Industry. Springer.]Search in Google Scholar
[Winther, Rasmus Grønfeldt. (2016). The Structure of Scientific Theories. The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.), URL = https://plato.stanford.edu/archives/win2016/entries/structure-scientific-theories/.]Search in Google Scholar
[Wittgenstein, L. (1978). Remarks on the Foundations of Mathematics. G. H. von Wright, R. Rhees, and G. E. M. Anscombe (eds.). Oxford.]Search in Google Scholar
[Hennessy, M. https://www.scss.tcd.ie/Matthew.Hennessy/splexternal2015/notes/WhileSlides2to1.pdf]Search in Google Scholar
