Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of TAnne Preller and P. DurouxRAIRO-Theor. Inf. Appl., 33 3 (1999) 227-257DOI: https://doi.org/10.1051/ita:1999115
