ITRS 2018 Accepted Papers

Richard Statman. On sets of terms with a given intersection type
Olivier Laurent. Intersection Subtyping with Constructors
Pedro Ângelo and Mário Florido. Gradual Intersection Types
Federico Aschieri. Natural Deduction and Normalization Proofs for the Intersection Type Discipline
Giulio Guerrieri. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Simona Ronchi Della Rocca and Daniele Pautasso. Strong normalization of simple types through uniform intersection types.