Normalisation of the theory $𝐓$ of Cartesian closed categories and conservativity of extensions $mathbfT\left[x\right]$ of $mathbfT$

Preller, Anne; Duroux, P.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 33 (1999) p. 227-257

Théorie des catégories et fondements

Preller, Anne

Publications du Département de mathématiques (Lyon), Volume 14 (1977) p. 21-27

Sur le problème universel (liberté) des algèbres de Boole et des espaces de Boole par rapport aux ensembles

Preller, Anne

Publications du Département de mathématiques (Lyon), Volume 3 (1966) p. 17-25

Une catégorie duale de la catégorie des anneaux idempotents

Preller, Anne

Publications du Département de mathématiques (Lyon), Volume 3 (1966) p. 26-30