Intersection types and lambda models (2006)

by F Alessi, F Barbanera, M Dezani-Ciancaglini
Venue:Theoretical Computer Science