Strong Conjunction and Intersection Types.

Fabio Alessi, Franco Barbanera

Browse the full MFCS paper archive.