Structural properties of intersection types (1997)

by E Sayag, M Mauny
Venue:In Proc. of LIRA’97