Voltar aos Detalhes do Artigo
On the relationship between well-orderings in intuitionistic type theory and data types inductively defined
Baixar
Baixar PDF