On the relationship between well-orderings in intuitionistic type theory and data types inductively defined

##plugins.themes.bootstrap3.article.main##

Edward Hermann Haeusler Oliver Bittel

##plugins.themes.bootstrap3.article.details##

Como Citar
HERMANN HAEUSLER, Edward; BITTEL, Oliver. On the relationship between well-orderings in intuitionistic type theory and data types inductively defined. O que nos faz pensar, [S.l.], v. 3, n. 04, p. 61-79, apr. 1991. ISSN 0104-6675. Disponível em: <http://www.oquenosfazpensar.fil.puc-rio.br/index.php/oqnfp/article/view/38>. Acesso em: 24 jan. 2022.
Seção
Artigos