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], Volume 29 NĂºmero 49 (15 January 2022)