and Mariangiola Dezani-Cian Caglini. Intersection and union types (1991)

by Franco Barbanera
Venue:In In Proc. TACS