S. Barry Cooper (cooper-sb)

My contributions to Philosophie.ch

Bibliography

Cooper, S. Barry. 2001. “Review of Pippinger (1997).” Studia Logica: An International Journal for Symbolic Logic 67(1): 140–141.
Cooper, S. Barry. 2015. “The Machine as Data: A Computational View of Emergence and Definability.” Synthese 192(7): 1955–1988.
Cooper, S. Barry. 2017. “Embodying Computation at Higher Types.” in Philosophical Explorations of the Legacy of Alan Turing. Turing 100, edited by Juliet Floyd and Alisa Bokulich, pp. 233–264. Boston Studies in the Philosophy and History of Science n. 324. Dordrecht: Springer.
Cooper, S. Barry and Truss, J. K., eds. 1999. Sets and Proofs. London Mathematical Society Lecture Note Series n. 258. Cambridge: Cambridge University Press.
Odifreddi, Piergiorgio and Cooper, S. Barry. 2012. “Recursive Functions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2012/entries/recursive-functions/.

Further References

Pippinger, Nicholas. 1997. Theories of Computability. Cambridge: Cambridge University Press.