Recherche et téléchargement d’archives de revues mathématiques numérisées
Preller, Anne; Duroux, P.
Normalisation of the theory $\bold T$ of Cartesian closed categories and conservativity of extensions $\bold T[x]$ of $\bold T$. Informatique théorique et applications, 33 no. 3 (1999), p. 227-257
Notice complète | Texte intégral djvu | pdf | Analyses MR 1728425 | Zbl 0936.03011