- S. van Bakel:
*Reduction in X does not agree with intersection and union types* - S. Carlier, J. Wells:
*The algebra of expansion* - J. Espirito Santo, J. Ivetic, S. Likavec:
*Intersection type assignment systems for intuitionistic sequent calculus* - F. Kamareddine, K. Nour, V. Rahli, J.B. Wells:
*Realisability semantics for intersection types with expansion variables* - F. Kamareddine, V. Rahli, J.B.
Wells:
*Reducibility proofs in lambda-calculi with intersection types* - M. Piccolo:
*Strong normalization in the $\pi$-calculus with intersection and union types* - E. Pimentel, S. Ronchi della Rocca, L. Roversi:
*Intersection types: a proof-theoretic approcah* - A. Veneti, Y. Stavrinos:
*Towards an intersection and union logic*