Intersection types and lambda theories (2002)

by M Dezani-Ciancaglini, S Lusin
Venue:International Workshop on Isomorphisms of Types