A Complete Characterization of the Complete Intersection-Type Theories.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
VenueA*ICALP
Year2000
ProceedingsICALP Satellite Workshops
DBLP recordconf/icalp/Dezani-CiancagliniHA00 ↗
Browse the full ICALP paper archive.