Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Normalisation of the Theory of Cartesian Closed Categories and Conservativity of Extensions [] of

Anne PrellerP. Duroux — 2010

RAIRO - Theoretical Informatics and Applications

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.

Page 1

Download Results (CSV)