Voir la notice de l'article provenant de la source Numdam
@article{ITA_1999__33_3_227_0,
author = {Preller, Anne and Duroux, P.},
title = {Normalisation of the theory $\mathbf {T}$ of {Cartesian} closed categories and conservativity of extensions $mathbf{T}[x]$ of $mathbf{T}$},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {227--257},
publisher = {EDP-Sciences},
volume = {33},
number = {3},
year = {1999},
mrnumber = {1728425},
zbl = {0936.03011},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1999__33_3_227_0/}
}
TY - JOUR
AU - Preller, Anne
AU - Duroux, P.
TI - Normalisation of the theory $\mathbf {T}$ of Cartesian closed categories and conservativity of extensions $mathbf{T}[x]$ of $mathbf{T}$
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1999
SP - 227
EP - 257
VL - 33
IS - 3
PB - EDP-Sciences
UR - http://geodesic.mathdoc.fr/item/ITA_1999__33_3_227_0/
LA - en
ID - ITA_1999__33_3_227_0
ER -
%0 Journal Article
%A Preller, Anne
%A Duroux, P.
%T Normalisation of the theory $\mathbf {T}$ of Cartesian closed categories and conservativity of extensions $mathbf{T}[x]$ of $mathbf{T}$
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1999
%P 227-257
%V 33
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/item/ITA_1999__33_3_227_0/
%G en
%F ITA_1999__33_3_227_0
Preller, Anne; Duroux, P. 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, Tome 33 (1999) no. 3, pp. 227-257. http://geodesic.mathdoc.fr/item/ITA_1999__33_3_227_0/