Intersection types for combinatory logic (1992)

by M Dezani-Ciancaglini, J R Hindley
Venue:Theoretical Computer Science