Alves, T. (2022). Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis. O Que Nos Faz Pensar, 29(49), 17-37. doi:10.32334/oqnfp.2021n49a809