Recherche et téléchargement d’archives de revues mathématiques numérisées

 
 
  1 réponse(s)


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

Copyright Cellule MathDoc 2014 | Crédit | Plan du site