A Note on Intersection Types", INRIA report RR-2431 (1995)

by C Retore
Venue:Theo. Comp. Sc., Vol