Vista do Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis

Voltar aos Detalhes do Artigo Proofs, what they prove and their representations: remarks in connection with identity of proofs and the normalisation thesis Baixar Baixar PDF