Intersection types for combinatory logic (1992)

by M Dezani-Ciancaglini, J R Hindley
Venue:In: Typed Lambda Calculi and Applications (TLCA’93). LNCS 664