Login / Signup

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

Anne PrellerPatrice Duroux
Published in: RAIRO Theor. Informatics Appl. (1999)
Keyphrases