A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) (2000)

by M. Dezani-ciancaglini , F. Honsell , F. Alessi
Venue:ACM TOCL
Citations:12 - 5 self