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
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20161010045738429-0910:S0988375499001150:S0988375499001150_eqnU2.gif?pub-status=live)