Characterization of the Principal Type of Normal Forms in an Intersection Type System.

Emilie Sayag Michel Mauny Characterization of the Principal Type of Normal Forms in an Intersection Type System. 335-346 1996 conf/fsttcs/1996 FSTTCS db/conf/fsttcs/fsttcs96.html#SayagM96 http://dx.doi.org/10.1007/3-540-62034-6_61