Alves, T. 2022 Jan 15. 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