e, "A Note on Intersection Types (1995)

by C Retor'