Published in

EDP Sciences, RAIRO: Theoretical Informatics and Applications, 3(33), p. 227-257

DOI: 10.1051/ita:1999115

Links

Tools

Export citation

Search in Google Scholar

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

Journal article published in 1999 by Anne Preller, P. Duroux
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO