APA (7th ed.) Citation

Preller, A., & Duroux, P. (1999). Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T [ x ] of T. RAIRO. Informatique théorique et applications, 33(3), 227-257. https://doi.org/10.1051/ita:1999115

Chicago Style (17th ed.) Citation

Preller, Anne, and P. Duroux. "Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T [ X ] of T." RAIRO. Informatique Théorique Et Applications 33, no. 3 (1999): 227-257. https://doi.org/10.1051/ita:1999115.

MLA (9th ed.) Citation

Preller, Anne, and P. Duroux. "Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T [ X ] of T." RAIRO. Informatique Théorique Et Applications, vol. 33, no. 3, 1999, pp. 227-257, https://doi.org/10.1051/ita:1999115.