Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T [ x ] of T - Preller, Anne; Duroux, P. (RAIRO. Informatique théorique et applications, 1999)
Keywords: Algebra; Category theory, homological algebra; Computer Science; Exact sciences and technology; General logic; Logic and foundations; Logic in Computer Science; Mathematical logic, foundations, set theory; Mathematics; Proof theory and constructive mathematics; Sciences and techniques of general use; Slide rule; Chemical reduction; Rewrite system; Evaluation; Decidability; Completeness; Category theory; Normal form; Automatic proving; Church Roser system; Evaluation rule; Complexity; cc:18D15; cc:03F05; cc:03B25