Structural Rules and Algebraic Properties of Intersection Types.

Sandra Alves, Mrio Florido

Browse the full ICTAC paper archive.