No CrossRef data available.
Article contents
Normalisation of the Theory T of Cartesian Closed Categories andConservativity of Extensions T[x] of T
Published online by Cambridge University Press: 15 August 2002
Abstract
Using an inductive definition of normal terms of the theory of Cartesian Closed Categories with a given graph of distinguished morphisms, we give a reduction free proof of the decidability of this theory. This inductive definition enables us to show via functional completeness that extensions of such a theory by new constants (“indeterminates”) are conservative.
- Type
- Research Article
- Information
- Copyright
- © EDP Sciences, 1999