| 0 | -- | 0 | Silvia Ghilezan, Luca Paolini. Preface |
| 1 | -- | 41 | Steffen van Bakel. Completeness and Soundness Results for with Intersection and Union Types |
| 43 | -- | 82 | Sébastien Carlier, J. B. Wells. The Algebra of Expansion |
| 83 | -- | 120 | José Espírito Santo, Jelena Ivetic, Silvia Likavec. Characterising Strongly Normalising Intuitionistic Terms |
| 121 | -- | 152 | Fairouz Kamareddine, Vincent Rahli, J. B. Wells. Reducibility Proofs in the λ-Calculus |
| 153 | -- | 184 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells. On Realisability Semantics for Intersection Types with Expansion Variables |
| 185 | -- | 202 | George Koletsos. Intersection Types and Termination Properties |
| 203 | -- | 226 | Olivier Laurent. Intersection Types with Subtyping by Means of Cut Elimination |
| 227 | -- | 252 | Mauro Piccolo. Strong Normalization in the π-calculus with Intersection and Union Types |
| 253 | -- | 274 | Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi. Intersection Types from a Proof-theoretic Perspective |
| 275 | -- | 302 | Yiorgos Stavrinos, Anastasia Veneti. Towards a Logic for Union Types |