Alves, Tiago de Castro. “Towards an Evaluation of the Normalisation Thesis on Identity of Proofs: The Case of Church-Turing Thesis As Touchstone”. Manuscrito: International Journal of Philosophy 43, no. 3 (February 9, 2021): 114–163. Accessed August 16, 2024. https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8664311.