1999
Ce document est lié à :
0988-3754
Anne Preller et al., « Normalisation of the theory $\mathbf {T}$ of Cartesian closed categories and conservativity of extensions $mathbf{T}[x]$ of $mathbf{T}$ », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.nbwvnl