RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

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

Anne Preller and P. Duroux

RAIRO-Theor. Inf. Appl., 33 3 (1999) 227-257

Published online: 15 August 2002

DOI: 10.1051/ita:1999115

This search tool will display articles in Google Scholar database by authors of the selected article:

Select your author(s):

Anne Preller

P. Duroux

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)