D?partement de Math?matiques et Informatique

________________________

________________________

UPERIEURESORMALENE COLE

CNRS URA 1327

Modularity of Strong Normalization in the

Algebraic->=-cube

Franco BARBANERA

Maribel FERN?
ANDEZ

Herman GEUVERS

LIENS - 96 - 8