Characterization of the Principal Type of Normal Forms in an Intersection Type System. - Emilie Sayag; Michel Mauny (FSTTCS, 1996)