Alves, Tiago de Castro. " Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis." O que nos faz pensar [Online], 29.49 (2021): 17-37. Web. 3 Oct. 2022